(X,τ1),(Y,τ2) topolojik uzaylar olmak üzere
((X,τ1), kompakt uzay)((Y,τ2), kompakt uzay)⇒(X×Y,τ1⋆τ2), kompakt uzay olduğunu gösteriniz.