Sine of Integer Multiple of Argument/Formulation 1/Lemma

Theorem

 * For $n \in \Z$: