Derivative of Sine Function/Proof 3