Sum of Wholly Real Numbers is Wholly Real

Theorem
Let $x = \tuple {a, 0}$ and $y = \tuple {b, 0}$ be wholly real complex numbers.

Then $x + y$ is also wholly real.

Proof
We have: