theorem Th9: :: GRSOLV_1:9

for G, H being Group
for h being Homomorphism of G,H
for A being strict Subgroup of G holds Image (h | A) is strict Subgroup of Image h