Complex Conjugation is Involution

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

Let $\overline z$ denote the complex conjugate of $z$.

Then the operation of complex conjugation is an involution:


 * $\overline {\paren {\overline z} } = z$