Solutions of cos x equals cos a/Proof

Proof
From Cosine of Supplementary Angle:
 * $\map \cos {\pi - x} = -\cos x$

and so from Cosine is Periodic on Reals: