Lemma von Zorn
mit formula_28, für die formula_29 für alle formula_30 gilt. Dann zeigt man mit dem Lemma von Zorn, dass die Menge aller solchen Fortsetzungen maximale Elemente besitzt und dass ein solches maximales Element eine gesuchte Fortsetzung formula_31 ist.