んで、結局局所的ユークリッド性を満たす
ハウスドルフでない位相空間は存在すんのか?
しないなら多様体の公理にハウスドルフ性いらなくね?