Tahap 1. Perhatikan bahwa setiap \(B(n)\) berhingga dan keluarga seluruh \(B(n)\) menyelimuti \(\Z\text{.}\)

Tahap 2. Batasi selimut basis tersebut pada suatu subhimpunan tak berhingga \(A\text{.}\) Dapatkah gabungan berhingga himpunan-himpunan basis yang berhingga menyelimuti \(A\text{?}\)