Giả sử: a ≥ b thì
a là bội của b nên a =b.k (k ∈ Z, k ≠ 0)
b là bội của a nên b = a.q (q ∈ Z, q ≠ 0, q ≥ k )
Thay b = a.q thì:
a = b.k = a.q.k
⇒q.k = 1
⇒k ∈ Ư (1) (k,q ∈ Z;k,q ≠ 0)
Mà q ≥ k
⇒k = 1,q = −1;k = q = 1
Nếu q = 1; k= -1 thì b.k = b.(-1) = -b
Nếu q = 1; k= 1 thì b.k = b.1 = b,đpcm