Group Isomorphism Preserves Identity

Theorem
Let $\phi: \left({G, \circ}\right) \to \left({H, *}\right)$ be a group isomorphism.

Let:
 * $e_G$ be the identity of $\left({G, \circ}\right)$
 * $e_H$ be the identity of $\left({H, *}\right)$.

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