Quadruple Angle Formulas/Cosine/Proof 1

Theorem

 * $\cos \left({4 \theta}\right) = 8 \cos^4 \theta - 8 \cos^2 \theta + 1$

where $\cos$ denotes cosine.