(X,d)は完備距離空間で、Xに孤立点は無いとする。
このとき、X の濃度は実無限以上であることを ZFC の中で示せ。