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