It is sufficient to prove that for every y ∈ G2 there exists a natural number n such that f(a)^n = y. The fact that G1 and G2 have the same order (i.e., cardinality) holds immediately by assumption that there is an isomorphism (i.e., a bijection) between G1 and G2.

Could you post your work?