Let φ be a homomorphism between groups G1 and G2. Prove that the
identity of G1 is mapped to the identity of G2 and g^−1 is mapped
to φ(g)^−1