theorem Th50: :: GROUP_22:48

for G being Group
for H being strict Subgroup of G holds
( H is characteristic iff for phi being Automorphism of G
for x being Element of G st x in H holds
phi . x in H )