Karena \(a\in O_A=A\cap O_X\text{,}\) berlaku \(a\in O_X\text{.}\) Karena \(O_X\) terbuka di \(X\text{,}\) ada \(\delta\gt0\) sehingga \(B_X(a,\delta)\subseteq O_X\text{.}\)