Tahap 1. Dalam ruang Hausdorff, setiap subhimpunan kompak tertutup.

Tahap 2. Irisan berhingga himpunan tertutup tertutup dalam \(X\text{.}\)

Tahap 3. Pandang irisan tersebut sebagai subhimpunan tertutup dari salah satu himpunan kompak.