Baire space
BCT1 から次の空間がベール空間であることが示せる：