Lemma von Zorn
Zorn's lemma can then be stated as: