Solutions of tan x equals tan a

Theorem
Let $\alpha \in \R$ be fixed.

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

The solution set of $(1)$ is:


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