Sine minus Sine/Proof 1