tenemos que "Aut(G") con la composición de funciones forman un grupo,