Paracompactness is Preserved under Projections

Theorem
Let $\left \langle {\left({S_\alpha, \tau_\alpha}\right)}\right \rangle$ be a sequence of topological spaces.

Let $\displaystyle \left({S, \tau}\right) = \prod \left({S_\alpha, \tau_\alpha}\right)$ be the product space of $\left \langle {\left({S_\alpha, \tau_\alpha}\right)}\right \rangle$.

Let $\operatorname{pr}_\alpha: \left({S, \tau}\right) \to \left({S_\alpha, \tau_\alpha}\right)$ be the projection on the $\alpha$ coordinate.

Then if $\left({S, \tau}\right)$ is paracompact, then each of $\left({S_\alpha, \tau_\alpha}\right)$ is also paracompact.