Sum of Cosines of Angles in Triangle

Theorem
Let $\triangle ABC$ be a triangle.

Then:
 * $\cos A + \cos B + \cos C = 1 - 4 \sin \dfrac A 2 \sin \dfrac B 2 \sin \dfrac C 2$