Proof of the derivative of cos(x)