Ambil selimut buka sebarang \(\{V_\alpha\}_{\alpha\in I}\) bagi \(f(A)\text{.}\) Kita harus membuktikan bahwa terdapat indeks \(\alpha_1,\ldots,\alpha_n\) dengan \(f(A)\subseteq\bigcup_{i=1}^nV_{\alpha_i}\text{.}\)