Complex Modulus equals Zero iff Zero

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

Let $\left\vert{z}\right\vert$ be the modulus of $z$.

Then:
 * $\left\vert{z}\right\vert = 0 \iff z = 0$