Tahap 1. Gunakan hasil bahwa setiap subhimpunan berhingga bersifat kompak.

Tahap 2. Semua subhimpunan \(X\) berhingga karena \(X\) sendiri berhingga.

Tahap 3. Pilih sebarang anggota \(\tau\text{;}\) untuk contoh nontrivial, hindari \(\emptyset\) dan \(X\text{.}\)