Setiap himpunan terbuka tak kosong memuat \(c\text{.}\) Karena itu, \(c\in O_x\cap O_c\text{,}\) sehingga irisan tersebut tidak pernah kosong.