Cosine of Angle plus Straight Angle/Proof 1

Theorem

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