Solusi M.65.1.
Basis \(\tau_K\) memuat semua interval terbuka biasa, sehingga \(\tau_K\) lebih halus daripada topologi Euklides. Untuk \(x\neq y\text{,}\) pilih interval Euklides terbuka saling lepas \(U\) dan \(V\) yang masing-masing memuat \(x\) dan \(y\text{.}\) Kedua interval itu juga terbuka dalam \(\tau_K\text{.}\) Jadi pasangan titik berbeda dapat dipisahkan dalam topologi \(\tau_K\text{,}\) dan ruang tersebut Hausdorff.