Canonical Injection on Group Direct Product is Monomorphism/Proof 2

Proof
A specific instance of Canonical Injections are Monomorphisms, where the algebraic structures in question are groups.