>>404
位相空間 Ｘ の孤立点の集合が有限個でないとする。
相異なる可算個の孤立点 ｘ_１，ｘ_２，… を 取る。
ｘ_ｋ を含む開集合 Ｕ_ｋ を、Ｕ_ｋ∩｛Ｘ−｛ｘ_ｋ｝｝＝&Oplus; となる様に取れる。
Ｘ−｛ｘ_１，ｘ_２，…｝ の開被覆 ｛Ｖ_λ｜λ∈Λ｝ を、Ｖ_λ∩｛ｘ_１，ｘ_２，…｝＝&Oplus; となる様に取れる。
｛Ｕ_ｋ｜ｋ＝１，２，…｝∪｛Ｖ_λ｜λ∈Λ｝ は Ｘ の開被覆である。
以下略