Product Formula for Sine

Theorem

 * $\displaystyle \map \sin {n z} = 2^{n - 1} \prod_{k \mathop = 0}^{n - 1} \map \sin {z + \frac{k \pi} n}$