Basically I am following this question:$M \times N$ orientable if and only if $M, N$ orientable
The confusing part is $\widetilde{M \times \mathbb{R}^k} \cong \widetilde{M} \times \mathbb{R}^k$. Is this very obvious? As set, they are obviously bijective. But how to prove they are homeomorphic?