T_1 Top Grがregは常識だがT_0 Top GrがT_1になるらしい。 一応簡単に証明できるけど、自分の方法だとsemi-topの時が分からない。symmetric open nbdが取れなくても証明できる？ それとも反例があったり、semi-topでもsymmetric open nbdがとれる？