Universal Property of Abelianization of Group/Proof 2

Proof
Let $e_H$ be the identity element of $H$.

Then:

The result follows from the definition of abelianization and Universal Property of Quotient Group.