Projection on Group Direct Product is Epimorphism

Theorem
Let $\left({G, \circ}\right)$ be the group direct product of the algebraic structures $\left({G_1, \circ_1}\right)$ and $\left({G_2, \circ_2}\right)$.

Then:
 * $\operatorname{pr}_1$ is an epimorphism from $\left({G, \circ}\right)$ to $\left({G_1, \circ_1}\right)$
 * $\operatorname{pr}_2$ is an epimorphism from $\left({G, \circ}\right)$ to $\left({G_2, \circ_2}\right)$

where $\operatorname{pr}_1$ and $\operatorname{pr}_2$ are the first and second projection respectively of $\left({G, \circ}\right)$.