De Moivre's Formula/Positive Integer Index/Corollary

Corollary to De Moivre's Formula: Positive Integer Index
Then:
 * $\forall n \in \Z_{>0}: \paren {\cos x + i \sin x}^n = \map \cos {n x} + i \, \map \sin {n x}$