reserve X,Y for set;
reserve G for Group;
reserve n for Nat;

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