Sum of Squares of Sine and Cosine/Proof 4