Arbitrary Power of Complex Number

Theorem
Let $z = a + i b$ be a complex number.

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

Then: