Untuk setiap himpunan buka \(O_1\subseteq X_1\text{,}\) kita memiliki \(\pi_1^{-1}(O_1)=O_1\times X_2\text{.}\) Kedua faktor pada ruas kanan buka, sehingga hasil kalinya buka. Kriteria prapeta bagi kekontinuan menyelesaikan bukti. Rubrik: bukti harus berlaku untuk setiap himpunan buka, bukan hanya elemen basis tertentu.