Tahap 1. Untuk setiap \(x\in\Z\text{,}\) perhatikan bahwa \(x\in B(x)\) tanpa bergantung pada paritasnya.

Tahap 2. Jika \(x\) ganjil dan \(x\in B(m)\cap B(n)\text{,}\) gunakan \(B(x)=\{x\}\) sebagai lingkungan dasar yang lebih kecil.

Tahap 3. Jika \(x\) genap, buktikan terlebih dahulu bahwa satu-satunya anggota \(\mathcal B\) yang memuat \(x\) adalah \(B(x)\) sendiri.