Group Isomorphism Preserves Identity/Proof 1

Proof
An group isomorphism is by definition a group epimorphism.

The result follows from Epimorphism Preserves Identity.