Inverse of Group Isomorphism is Isomorphism/Proof 1

Proof
A specific instance of Inverse of Algebraic Structure Isomorphism is Isomorphism.