theorem
  G, Image CayleyIso(G) are_isomorphic by GROUP_6:68;
