ベール空間
BCT2 shows that every manifold is a Baire space, even if it is not paracompact, and hence not metrizable.