theorem Th49: :: GROUP_22:47

for G being Group
for N being strict normal Subgroup of G
for phi being Automorphism of G holds Image (phi | N) is normal Subgroup of G