Tahap 1. Jika \(U,V\) memisahkan \(X\text{,}\) maka \(V=X\setminus U\text{.}\)

Tahap 2. Ambil komplemen setiap anggota nontrivial \(\tau\text{.}\)

Tahap 3. Periksa apakah ada anggota nontrivial yang komplemennya juga berada dalam \(\tau\text{.}\)