(i) Angenommen 0' ist ebenfalls neutral bezüglich Addition
Dann ist
(1) 0' + 0 = 0
weil 0' neutral ist. Außerdem ist
(2) 0' + 0 = 0'
weil 0 neutral ist.
In beiden Gleichungen steht auf der linken Seite das gleiche. Dann muss auch auf der rechten Seite in beiden Gleichungen das gleiche stehen. Also ist
0 = 0'.
(ii) 0 · a = 0 · a
⇒ 0 · a = (0 + 0) · a
⇒ 0 · a = 0 · a + 0 · a
⇒ 0 · a + (-(0 · a)) = (0 · a + 0 · a) + (-(0 · a))
⇒ 0 · a + (-(0 · a)) = 0 · a + (0 · a + (-(0 · a)))
⇒ 0 = 0 · a + 0
⇒ 0 = 0 · a
(iii) 0 = 0 · a
⇒ 0 = (1 + (-1)) · a
⇒ 0 = 1 · a + (-1)· a
⇒ 0 = a + (-1)· a)
⇒ -a + 0 = -a + (a + (-1)· a))
⇒ -a + 0 = (-a + a) + (-1)· a
⇒ -a + 0 = 0 + (-1)· a
⇒ -a = (-1)· a