Quintuple Angle Formulas/Cosine/Proof 2

Theorem

 * $\cos 5 \theta = 16 \cos^5 \theta - 20 \cos^3 \theta + 5 \cos \theta$

where $\cos$ denotes cosine.

Proof
We have:

Hence: