De Moivre's Formula/Positive Integer Index/Corollary

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