BCT1 also shows that every complete metric space with no isolated points is uncountable.
ĐLB1 cũng chỉ ra rằng mọi không gian metric đầy đủ mà không có các điểm cô lập thì không đếm được.