theorem Th18: :: GROUP_22:18

for G being Group
for phi being Automorphism of G
for H being strict Subgroup of G
for K being Subgroup of G st Image (phi | H) is Subgroup of K holds
ex psi being Automorphism of G st
( psi = phi " & H is Subgroup of Image (psi | K) )