theorem Th22: :: GROUP_22:22

for G being Group
for H being Subgroup of G
for f being Automorphism of G st Image (f | H) = multMagma(# the carrier of H, the multF of H #) holds
f | H is Automorphism of H