 reserve G, A for Group;
 reserve phi for Homomorphism of A,AutGroup(G);
 reserve G, A for Group;
 reserve phi for Homomorphism of A,AutGroup(G);
reserve G1,G2 for Group;

theorem Th70:
  G is strict trivial implies AutGroup G is trivial
proof
  assume G is strict 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;
end;
