Baire space
BCT2 は任意の多様体がベール空間であることを示す。これは多様体がパラコンパクトでなく、したがって距離化可能でない場合でも成り立つ。例えば長い直線は第二類である。