Let $\Psi=\Psi_1 \times \Psi_2 \times \ldots$ be a countable product of Polish spaces, as in Theorem 19, and let $\left(Q_n\right)$ be a sequence of probability measures on $\Psi$. Show that $\left(Q_n\right)$ is uniformly tight if and only if $\left(Q_n^j\right)$ is uniformly tight for each $j$, where $Q_n^j$ is the $j^{\text {th }}$ coordinate marginal of $Q_n$.