theorem Th14: :: GROUP_22:14

for G being Group
for phi being Automorphism of G holds Image (phi | ((1). G)) is Subgroup of (1). G