Sine plus Sine/Proof 2