Zorn's lemma
実際には、この証明はより強い形のツォルンの補題が正しいことを示している。