De Moivre's Formula/Exponential Form

Theorem

 * $\forall \omega \in \C: \paren {r e^{i \theta} }^\omega = r^\omega e^{i \omega \theta}$