Derivative of cosx proof...