Sine of Sum/Proof 3