Sei |K| = m.
Sei M = {c1, c2, ..., cm}.
Dann ist |M| < m weil M ⊆ K\{0} ist (Körper sind nullteilerfrei).
Seien p < q ≤ m mit cp = cq.
Es ist cp · 1 = cq wegen Neutralität der 1.
Es ist cp · cq-p = cq laut Potenzgesetzen.
Wegen eindeutiger Lösbarkeiten von Gleichungen ist dann
cq-p = 1.