Quadruple Angle Formulas/Cosine/Corollary

Corollary to Quadruple Angle Formula for Cosine

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

where $\cos$ denotes cosine.