Solutions of cos x equals cos a

Theorem
Let $\alpha \in \closedint {-1} 1$ be fixed.

Let:
 * $(1): \quad \cos x = \cos \alpha$

The solution set of $(1)$ is:


 * $\set {x \in \R: \forall n \in \Z: x = 2 n \pi \pm \alpha}$