Sea formula_9 un grupo tal que formula_167 donde formula_54 es un primo que no divide a formula_169.