Projection on Group Direct Product is Epimorphism/Proof 2

Proof
A specific instance of Projections are Epimorphisms, where the algebraic structures in question are groups.