Tahap 1. Terapkan kekompakan \(X\) kepada selimut \(\{U_\alpha\}\cup\{X\setminus C\}\text{.}\)

Tahap 2. Hapus \(X\setminus C\) dari subselimut berhingga yang diperoleh, jika himpunan itu terpilih.

Tahap 3. Jelaskan mengapa anggota \(U_\alpha\) yang tersisa masih menyelimuti setiap titik \(C\text{.}\)