Zornの補題を適用する
部分順序集合を自分の中で
明確にする訓練を
今でなくても良いので
いつかやったほうが良いと思う。