Wenn y ≠ 0 {\displaystyle {}y\neq 0} wäre, so wäre x + y {\displaystyle {}x+y} ein Nachfolger einer natürlichen Zahl (nämlich der y {\displaystyle {}y} -te Nachfolger von x {\displaystyle {}x} ), was für die 0 {\displaystyle {}0} ausgeschlossen ist. Also ist y = 0 {\displaystyle {}y=0} . Wegen
ist auch der erste Summand gleich 0 {\displaystyle {}0} .
