Zorn's lemma
Zu einem einzelnen Polynom aus formula_10 kann man leicht eine algebraische Erweiterung formula_4 finden, in der das Polynom eine Nullstelle hat. Mit dem Lemma von Zorn kann man eine algebraische Erweiterung finden, in der alle nicht-konstanten Polynome aus formula_7 eine Nullstelle haben. Dies ist dann nach obiger Bemerkung ein algebraischer Abschluss von formula_1.