Tetszőleges m\neq 0 egész szám esetén legyen \Z_m a modulo m maradékok gyűrűje a moduláris összeadás és szorzás műveletével. A \Z_m gyűrű akkor és csak akkor nullosztómentes, ha m prímszám.