Kekompakan \(X\) memberi subselimut berhingga dari keluarga yang diperluas. Setelah \(X\setminus C\) dibuang, anggota-anggota \(U_\alpha\) yang tersisa tetap menyelimuti \(C\text{.}\) Jadi \(C\) kompak.