Ambil sembarang bola terbuka \(B\) di \(Y\text{.}\) Berdasarkan sifat dasar bola, \(B\) merupakan himpunan terbuka dalam \(Y\text{.}\) Teorema pencirian kekontinuan menyatakan bahwa jika \(f\) kontinu, maka prapeta setiap himpunan terbuka di kodomain terbuka di domain. Dengan memilih himpunan terbuka itu sebagai \(B\text{,}\) diperoleh \(f^{-1}(B)\) terbuka dalam \(X\text{.}\) Karena \(B\) sebarang, implikasi pertama akibat terbukti.