ベール空間
BCT1 は以下の空間がベール空間であることを示す：