Proving the Derivative of Sine