Sum of Fourth Powers of Sine and Cosine

Theorem

 * $\cos^4 x + \sin^4 x = 1 - 2 \cos^2 x \sin^2 x$