Complex Modulus of Quotient of Complex Numbers

Theorem
Let $z_1, z_2 \in \C$ be complex numbers such that $z_2 \ne 0$.

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

Then:
 * $\left\vert{\dfrac {z_1} {z_2} }\right\vert = \dfrac {\left\vert{z_1}\right\vert} {\left\vert{z_2}\right\vert}$