Tahap 1. Untuk \(x\in U=A\cap O\text{,}\) pilih unsur basis \(B\) dengan \(x\in B\subseteq O\text{.}\)

Tahap 2. Citra suatu himpunan terhitung di bawah pemetaan \(B\mapsto B\cap A\) tetap paling banyak terhitung.

Tahap 3. Pisahkan \(1/n\) dari suku-suku tetangganya dengan interval kecil, lalu gunakan bahwa \(1/n\to0\text{.}\)