Cosine of Angle plus Straight Angle/Proof 2

Theorem

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