(2) si "p" es primo y formula_15 verifica formula_16 (mod "p") entonces formula_17 (mod "p"), esto se deduce del hecho que formula_18 es un cuerpo cuando "p" es primo.