Si formula_81 es un elemento no nulo de formula_80, el número "a" no pude ser n múltiplo de p, por lo que el máximo común divisor de a y p debe ser 1.