Roots of Complex Number/Exponential Form

Theorem
Let $z := r e^{i \theta}$ be a complex number expressed in exponential form, such that $z \ne 0$.

Let $n \in \Z_{>0}$ be a (strictly) positive integer.

Then the $n$th roots of $z$ are given by:
 * $z^{1 / n} = \set {r^{1 / n} e^{i \paren {\theta + 2 \pi k} / n}: k \in \set {0, 1, 2, \ldots, n - 1} }$