Tahap 1. Jika sifat interval gagal pada \(c\text{,}\) gunakan \(A\cap(-\infty,c)\) dan \(A\cap(c,\infty)\text{.}\)

Tahap 2. Untuk arah sebaliknya, andaikan suatu interval \(A\) dipisahkan oleh \(U,V\text{;}\) pilih \(u\in U\) dan \(v\in V\) dengan \(u<v\text{.}\)

Tahap 3. Ambil supremum titik-titik \(U\) di antara \(u\) dan \(v\text{,}\) lalu gunakan keterbukaan relatif untuk memperoleh kontradiksi.