cho a,b và hai số nguyên khác 0.Khi đó nếu a chia hết cho b và b chia hết cho a thì a = b hoặc a = -b
thật vậy do a chia hết cho b nên a = bq với q thuộc Z . lại do b chia hết cho a nên b = ap với p thuộc Z .
Suy ra a = bq = (ap)q = a(pq), tức là pq = 1 (vì a khác 0). Vậy p = q = 1 hoặc p = q = -1 .
Chứng tỏ a = b hoặc a = -b.