Zorn's lemma
Für den Beweis dieser Aussage benötigt man das Lemma von Zorn. Ist "G" endlich, so kann auf das Lemma von Zorn verzichtet werden.