Sei M die Menge aller x ∈ K, für die x + x = 0 ist.
Dann muss |K\M| gerade sein, weil
x1 ∈ K\M ⇒ ∃ x2 ∈ K\M : x1 + x2 = 0 ∧ x1 ≠ x2.
Ist |K| gerade und |K\M| gerade, dann ist auch |M| gerade. Wegen 0+0=0 gibt es also ein x ∈ M mit x ≠ 0. Mit diesem x gilt
0 = 0 · x-1 = (x + x) · x-1 = x·x-1 + x·x-1 = 1 + 1.