>>719
ざっと見ましたが、最初の流れは「コンパクトハウスドルフ空間が正規」の証明に近いと思います。
自力では気がつかなかったですね。