Tahap 1: jika \(X\) terhubung, bandingkan \(X\) sendiri dengan setiap subhimpunan terhubung maksimal.

Tahap 2: untuk arah sebaliknya, sebuah pemisahan menghasilkan dua himpunan terhubung atau, lebih umum, memaksa setiap komponen berada pada salah satu sisinya.