Deljivost celih števil
Kako bi utemeljili, da eno celo število deli drugo?
Ker je -6=-2·3, velja 3|(-6)
Ker velja -6=2·(-3), velja -3|(-6).

Relacijo a|b, kjer sta a in b celi števili, dokažemo na enak način kot za naravni števili. Število b zapišemo kot produkt, v katerem je en izmed faktorjev enak a.