Group Isomorphism Preserves Identity/Proof 2

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

That is:
 * $\phi \left({e_G}\right) = e_H$