Sine of Sum/Proof 4