Sea formula_155---el anillo de los Enteros---y formula_156, los enteros módulo formula_20 Sea formula_158 tal que formula_159, donde formula_160 es la clase de congruencia de formula_44 módulo formula_20, o sea formula_163 Como se cumple que