Beweis

Wenn ein Körper ist, so gibt es das Nullideal und das Einheitsideal, die voneinander verschieden sind. Es sei ein von verschiedenes Ideal in . Dann enthält ein Element , das eine Einheit ist. Damit ist und damit .

Es sei umgekehrt ein kommutativer Ring mit genau zwei Idealen. Dann kann nicht der Nullring sein. Es sei nun ein von verschiedenes Element in . Das von erzeugte Hauptideal ist und muss daher mit dem anderen Ideal, also mit dem Einheitsideal übereinstimmen. Das heißt insbesondere, dass ist. Das bedeutet also für ein , so dass eine Einheit ist.