Consecuencia inmediata de lo anterior es que todo grupo formula_1 de orden primo formula_37 es cíclico, pues el orden de un elemento formula_38 de formula_1 distinto de la identidad sólo puede ser formula_37, y así formula_38 es un generador de formula_1.