Proof

We need to show that, if, for all g, h G, we have f(gh) = f(g)f(h), then we also have

f(e) = e'.

f(x-1) = f(x)-1 for all x G.