theorem Th26: :: GRNILP_1:26

for G, H being strict Group
for h being Homomorphism of G,H
for A being strict normal Subgroup of G holds h .: A is strict normal Subgroup of Image h