reserve i for Element of NAT;

theorem
  for G,H being Group, h being Homomorphism of G,H holds for A
  being strict Subgroup of G holds h.:A is strict Subgroup of Image h by Th9;
