BCT2的证明需要选择公理的某种形式；实际上，BCT1与选择公理的一个较弱的版本——相依选择公理等价。
定理的应用.BCT1可以用来证明开映射定理、闭图像定理和一致有界原理。BCT1也表明每一个没有孤立点的完备度量空间都是不可数的。（如果"X"是一个可数的完备度量空间且没有孤立点，那么在"X"中每一个单元素集合都是无处稠密的，因此"X"在它本身内是第一纲）。特别地，这证明了所有实数所组成的集合是不可数的。BCT1表明以下每一个都是贝尔空间：根据BCT2，每一个流形都是贝