Difference of Fourth Powers of Cosine and Sine/Proof 1