Tahap 1. Gunakan fakta bahwa subhimpunan tertutup dari ruang kompak adalah kompak.

Tahap 2. Citra kontinu dari himpunan kompak adalah kompak, dan setiap subhimpunan kompak dari ruang Hausdorff adalah tertutup.