theorem :: GROUP_24:67

for G, A being Group
for phi being Homomorphism of A,(AutGroup G) st G is strict & G is trivial holds
phi = 1: (A,(AutGroup G))