(related to Proposition: Uniqueness of Complex Zero)
We will show that the complex number zero \(0\) is unique, i.e. there can be only one such number, for which
\[x=x+0\text{ for all }x\in\mathbb C\quad\quad ( * )\]
Suppose, \(0^{\ast}\) is any (other) complex number, for which
\[x=x+0^{\ast}\text{ for all }x\in\mathbb C\quad\quad ( * * )\]
Applying the commutativity law for adding complex numbers, we get
\[\begin{array}{rcll} 0^{\ast}&=&0^{\ast}+0&\text{ by }( * )\\ &=&0+0^{\ast}&\text{ by commutativity of adding complex numbers}\\ &=&0&\text{ by }( * * ) \end{array} \]
Thus, both zeros are equal.
