theorem Th70: :: GROUP_24:66

for G being Group st G is strict & G is trivial holds
AutGroup G is trivial