ツォルンの補題が使える