Sea G=formula_52, el grupo cíclico con m elementos y sea f: G \flecha G un automorfismo, entonces la imagen de [1] debe ser un generador de G, ya que formula_53.