Tahap 1. Dalam ruang berhingga ini, setiap subhimpunan kompak.

Tahap 2. Bandingkan semua subhimpunan satu titik dengan daftar \(\tau\text{.}\)

Tahap 3. Satu contoh kompak yang tidak berada dalam \(\tau\) cukup untuk menyangkal keharusan tersebut.