Mantido pelo grupo "Topologia do Interior"
Essa é uma revisão anterior do documento!
Suponha que não. Então existe (pelo exercício 1) $D \subset X$ fechado discreto infinito. Defina $f : D \rightarrow \omega$, como sendo $f(d_k) = k$, para todo $d_k \in D$.