Quotient of Complex Conjugates

Theorem
Let $z_1, z_2 \in \C$ be complex numbers.

Let $\overline z$ be the complex conjugate of the complex number $z$.

Then:
 * $\overline {\left({\dfrac {z_1} {z_2} }\right)} = \dfrac {\left({\overline {z_1} }\right)} {\left({\overline {z_2} }\right)}$

for $z_2 \ne 0$.

Proof
Let $z_1 = x_1 + i y_1$ and $z_2 = x_2 + i y_2$, where $x_1, y_1, x_2, y_2 \in \R$.

Then: