(Cauchy) Sea formula_54 un factor primo del orden de un grupo.