Sea formula_9 un formula_54--grupo, es decir un grupo cuyo orden es una potencia de formula_54, formula_54 primo.