theorem Th15: :: GROUP_24:20

for G, A being Group
for phi being Homomorphism of A,(AutGroup G)
for g being Element of G holds (phi . (1_ A)) . g = g