Sea formula_44 ---el anillo de los Enteros--- y formula_45---el anillo de los enteros módulo m Sea formula_46 tal que f(z) = [z] , donde [z] es la clase de congruencia de z módulo m , o sea formula_47.