>>181
(2)はどうやっても、0と1を分離する開集合が取れないような気がするんですよね。
これで私の役目は果たしたと思います(⁠^⁠^⁠)