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