Zorn's lemma
This proof shows that actually a slightly stronger version of Zorn's lemma is true: