Pisahkan setiap \(a\in A\) dari seluruh \(B\) dengan \(U_a,V_a\text{.}\) Pilih berhingga banyak \(U_a\) yang menyelimuti \(A\text{;}\) gabungan sisi \(U_a\) dan irisan sisi \(V_a\) adalah lingkungan terbuka saling lepas yang diperlukan.