Solutions of sin x equals sin a/Proof

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

and so from Sine is Periodic on Reals: