Eğer $a,b,c \in \mathbb{Z}$ için $a \mid b$ ve $a \mid c$ ise $a \mid (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 \mid (b-c)$
Şimdi $2$'nin $3$'ü böldügünü farz edelim;
$2 \mid 3$ , $2 \mid 2$ ve buna göre $2 \mid (3-2)$ yani $2 \mid 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.