let G be Group; :: thesis: ( G is strict & G is trivial implies AutGroup G is trivial )
assume ( G is strict & G is trivial ) ; :: thesis: AutGroup G is trivial
then A1: G = (1). G by GROUP_22:6;
Aut ((1). G) = {(id ((1). G))} by Th69;
hence AutGroup G is trivial by A1; :: thesis: verum