Solutions of tan x equals tan a/Proof

Proof
From Tangent Function is Periodic on Reals:
 * $\map \tan {\pi + x} = \tan x$

Hence: