ツォルンの補題
ツォルンの補題を使って次の有益な事実を証明できる。