Tahap 1. Andaikan sebaliknya bahwa \(X=U\cup V\) merupakan pemisahan.

Tahap 2. Dari kesalinglepasan, tulis \(U=X\setminus V\text{.}\)

Tahap 3. Tunjukkan bahwa \(U\) menjadi buka-tertutup nontrivial.