位相体は密着位相でなければかならずハウスドルフになるのはどうやって証明するんでしょうか