theorem :: AUTGROUP:11

for G being Group holds InnAut G c= Funcs ( the carrier of G, the carrier of G)