Un grupo cuyo orden es formula_58, formula_54 primo, es un grupo abeliano.