Sea formula_31 un número primo y para todo entero no nulo formula_76, sea formula_77 donde formula_78 es la mayor potencia de formula_79 que divide a formula_76.