theorem Th33: :: GROUP_22:32

for G being Group
for H being strict Subgroup of G holds
( H is normal iff for f being inner Automorphism of G holds Image (f | H) = H )