多様体は、局所コンパクトハウスドルフなので、チコノフでなければならない。