Tegyük fel, hogy m\neq 0 egy tetszőleges nemnulla egész szám. Ekkor a 18.3. Definícióban szereplő \bmod_m:\Z \to \Z_m maradékképző függvény egy szürjektív gyűrűhomomorfizmus \Z és \Z_m között.