Cosine of Angle plus Straight Angle/Proof 3

Theorem

 * $\cos \left({x + \pi}\right) = -\cos x$