Si formula_1 es un polinomio con coeficientes enteros, el grado de congruencia de formula_2 es el mayor entero positivo "j" tal que "a" no es congruente con cero respecto del módulo "m".