Theorem 9.6:

Suppose that $X$ and $Y$ are two topological spaces and $x_0 \in X$ and $y_0 \in Y$. Then

$$\pi_1(X\times Y, (x_0, y_0)) = \pi_1(X, x_0)\times \pi_1(Y, y_0).$$