theorem Th108:
  for H being strict Subgroup of G holds H * g in con_class H
proof
  let H be strict Subgroup of G;
  H,H * g are_conjugated by Th102;
  hence thesis by Def12;
end;
