Tahap 1. Semua himpunan berhingga kompak.

Tahap 2. Untuk \(A\subseteq\Z\) tak berhingga, gunakan selimut subruang \(\{A\cap I_n\mid n\in\Z^+\}\text{.}\) Setiap gabungan berhingga keluarga bersarang ini berada dalam satu \(I_N\text{.}\)