Entonces como [1] es un generador del grupo, su imagen debe ser un generador del grupo.