a proof that the derivative of sin(x) is cos(x)