Complex Modulus is Non-Negative

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

Let $\cmod z$ be the modulus of $z$.

Then:
 * $\cmod z \ge 0$