Tahap 1: klasifikasikan \(B\) sebagai himpunan terbuka di \(Y\text{.}\) Tahap 2: substitusikan \(O=B\) ke implikasi teorema untuk fungsi kontinu.