集合と位相とのツォルンの補題の証明で詰まった