ツォルンの補題
This proof shows that actually a slightly stronger version of Zorn's lemma is true: