Sine of Sum/Proof 5