Let $\{X_\alpha\}_{\alpha \in A}$ be a family of topological spaces, each equipped with the given topology, and let $\prod_{\alpha \in A} X_\alpha$ carry the product topology. If each $X_\alpha$ is path-connected, then $\prod_{\alpha \in A} X_\alpha$ is path-connected.