theorem :: CAYLEY:14

for G being Group holds G, Image (CayleyIso G) are_isomorphic by GROUP_6:68;