Product Formula for Sine

Theorem
$\sin(nz)= 2^{n-1}\prod_{k=0}^{n-1}\sin(z+\frac{k \pi}{n})$

Theorem
$\prod_{k=1}^{n-1}\sin(\frac{k \pi}{n})=2^{1-n}n$