Sine of Integer Multiple of Argument/Formulation 4

Theorem
For $n \in \Z$:

Proof
To proceed, we will require the following lemma: