Double Angle Formula for Cosine/Corollary 5

Corollary to Double Angle Formula for Cosine

 * $1 - \cos \theta = 2 \sin^2 \dfrac \theta 2$