Quadruple Angle Formulas/Sine

Theorem

 * $\sin 4 \theta = 4 \sin \theta \cos \theta - 8 \sin^3 \theta \cos \theta$

where $\sin$ and $\cos$ denote sine and cosine respectively.