>>175
そこはどうですかね…。
分離できる開集合があるかどうか。