Group Isomorphism Preserves Identity/Proof 2

Proof
It follows from Identity is only Idempotent Element in Group that $\map \phi {e_G}$ is the identity of $H$.

That is:
 * $\map \phi {e_G} = e_H$