因为f是单射,因此存在f-1是单射.又已知f(g1*g2)=f(g1)f(g2)=g1``g2``属于G``,因此
f-1(g1``*g2``)=f-1(f(g1)*f(g2))=g1*g2=f-1(g1``)f-1(g2``),证毕
由于怕看错我用``来替换了一题目的`.