Let $f_i\colon M\rightarrow X_i,i=1,2$ be continuous maps between top spaces and assume $f_2$ is proper. For a compact $C\subset X_1\times X_2$, $\pi_2(C)\subset X_2$ is compact as continuous image of a compact, hence $f_2^{-1}(\pi_2(C))$ is compact by properness of $f_2$. By continuity, $(f_1\times f_2)^{-1}(C)$ is closed (ok, I assume the codomains are Hausdorff), and we have $(f_1\times f_2)^{-1}(C)\subset f_2^{-1}(\pi_2(C))$, so as closed subset of a compact space, it is compact. Hence $f_1\times f_2$ is proper.