>>366
2点集合で反例が構成できる。
T3空間なら正しい。