Proposition 1.1.3.6. Let $S^{-}$ and $S^{+}$ be simplicial sets having dimensions $\leq k_{-}$ and $\leq k_{+}$, respectively. Then the product $S^{-} \times S^{+}$ has dimension $\leq k_{-} + k_{+}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Proof. Let $\sigma = (\sigma _{-}, \sigma _{+})$ be a nondegenerate $n$-simplex of the product $S^{-} \times S^{+}$. Using Proposition 1.1.3.8, we see that $\sigma _{-}$ and $\sigma _{+}$ admit factorizations
\[ \Delta ^{n} \xrightarrow { \alpha _{-} } \Delta ^{n_{-}} \xrightarrow { \tau _{-} } S^{-} \quad \quad \Delta ^{n} \xrightarrow { \alpha _{+} } \Delta ^{n_{+}} \xrightarrow { \tau _{+} } S^{+}, \]
where $\tau _{-}$ and $\tau _{+}$ are nondegenerate, so that $n_{-} \leq k_{-}$ and $n_{+} \leq k_{+}$. It follows that $\sigma $ factors as a composition
\[ \Delta ^{n} \xrightarrow { (\alpha _{-}, \alpha _{+} ) } \Delta ^{n_{-}} \times \Delta ^{n_{+}} \xrightarrow { \tau _{-} \times \tau _{+} } S^{-} \times S^{+}. \]
The nondegeneracy of $\sigma $ guarantees that the map of partially ordered sets $[n] \xrightarrow { (\alpha _{-}, \alpha _{+} )} [n_{-} ] \times [n_{+} ]$ is a monomorphism, so that $n \leq n_{-} + n_{+} \leq k_{-} + k_{+}$. $\square$