Group Homomorphism Preserves Identity/Proof 3

Proof
From Group Homomorphism of Product with Inverse, we have:
 * $\forall x, y \in G: \map \phi {x \circ y^{-1} } = \map \phi x * \paren {\map \phi y}^{-1}$

Putting $x = y$ we have: