Lemma 43.13.1. Let $X$ and $Y$ be varieties. Then $X \times Y$ is a variety and $\dim (X \times Y) = \dim (X) + \dim (Y)$.

Proof. The scheme $X \times Y = X \times _{\mathop{\mathrm{Spec}}(\mathbf{C})} Y$ is a variety by Varieties, Lemma 33.3.3. The statement on dimension is Varieties, Lemma 33.20.5. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).