Tahap 1. Setiap subhimpunan berhingga kompak dalam ruang topologi apa pun.

Tahap 2. Jika \(A\) tak hingga, gunakan himpunan-himpunan terbuka \(\{p,a\}\) untuk \(a\in A\setminus\{p\}\text{.}\)

Tahap 3. Jika \(p\notin A\text{,}\) tambahkan satu himpunan terbuka yang memuat satu titik tetap dari \(A\) bila diperlukan.