Jika \(x_1\ne x_2\text{,}\) sifat Hausdorff \(X\) memberi lingkungan buka saling lepas bagi keduanya; jika \(y_1\ne y_2\text{,}\) gunakan \(Y\text{.}\) Salah satu kasus pasti terjadi.