Quadruple Angle Formulas/Cosine/Corollary

Corollary to Quadruple Angle Formula for Cosine

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

where $\cos$ denotes cosine.