Group Direct Product is Product in Category of Groups

Theorem
Let $\mathbf{Grp}$ be the category of groups.

Let $G$ and $H$ be groups, and let $G \times H$ be their direct product.

Then $G \times H$ is a binary product of $G$ and $H$ in $\mathbf{Grp}$.