Eğer a,b,c∈Z için a∣b ve a∣c ise a∣(b−c) olur. Bunu ispatlayalım;
b=aq+0 ve c=ap+0 olsun
(b−c)=aq−ap olur , yani (b−c)=a(q−p) bulunur o zaman diyebiliriz ki; a∣(b−c)
Şimdi 2'nin 3'ü böldügünü farz edelim;
2∣3 , 2∣2 ve buna göre 2∣(3−2) yani 2∣1 olur. 1'i yalnızca −1,1 böler (tamsayılardan) o zaman kabullerimizden biri yanlıştır 2 kendisini böleceğine ve son bölünebilirlik ilişkisini ispatladığımıza göre demek ki 2 nin 3 ü bölmesi üzerine kabulümüz yanlıştır. Yani 2 3'ü tam bölmez.