theorem Th103:
  for H1 being strict Subgroup of G holds H1,H1 are_conjugated
proof
  let H1 be strict Subgroup of G;
  take 1_G;
  thus thesis by Th61;
end;
