 reserve G, A for Group;
 reserve phi for Homomorphism of A,AutGroup(G);

theorem ::: trivial: TH39
  for G being Group
  for H,K being Subgroup of G
  for HK being Subgroup of K
  st the multMagma of H = the multMagma of HK
  holds carr H = carr HK;
