$(X,\tau_1),(Y,\tau_2)$ topolojik uzaylar olmak üzere
$$((X,\tau_1), \text{ kompakt uzay})((Y,\tau_2), \text{ kompakt uzay})\Rightarrow (X\times Y,\tau_1\star\tau_2), \text{ kompakt uzay}$$ olduğunu gösteriniz.