即ち、X が完備な無限次元ノルム空間（つまりバナッハ空間）のとき、
X の任意のハメル基底が非可算となることがベールの範疇定理から従う。