Derivative of Sine Function/Proof 4