Tulis himpunan buka \(O=\bigcup_\alpha(U_\alpha\times V_\alpha)\text{.}\) Karena citra mempertahankan gabungan, \(\pi_1(O)=\bigcup_{V_\alpha\ne\emptyset}U_\alpha\text{,}\) yang buka dalam \(X_1\text{.}\) Argumen untuk \(\pi_2\) simetris. Rubrik: kasus faktor basis kosong tidak boleh diam-diam diabaikan.