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