Tahap 1. Titik \(a\) dan \(b\) masing-masing memiliki lingkungan beranggota tunggal yang tidak bertemu \(A\text{.}\)

Tahap 2. Satu-satunya lingkungan terbuka yang memuat \(c\) atau \(d\) adalah \(X\text{.}\)

Tahap 3. Uji apakah \(X\) bertemu dengan \(A\) dan komplemennya.