Sum over k from 1 to n of n Choose k by Sine of n Theta

Theorem

 * $\ds \sum_{k \mathop = 1}^n \dbinom n k \sin k \theta = \paren {2 \cos \dfrac \theta 2}^n \sin \dfrac {n \theta} 2$

Proof
At the same time: