theorem Th40: :: GROUP_22:38

for G being Group
for H being strict Subgroup of G holds
( H is characteristic Subgroup of G iff for phi being Automorphism of G holds Image (phi | H) is Subgroup of H )