Derivative of Sine Function/Proof 2