Karena \(p^{-1}(\bigcap_\beta U_\beta)=\bigcap_\beta p^{-1}(U_\beta)\) dan ruas kanan merupakan irisan berhingga himpunan terbuka, prapeta irisan tersebut terbuka. Jadi irisannya berada dalam \(\tau_Y\text{.}\)