Si formula_119 y formula_137 son polinomios congruentes módulo formula_79, entonces formula_139 es un elemento de formula_133.