Giả sử x = a / m, y = b / m (a, b, m thuộc Z, m > 0) và x < y. Hãy chứng tỏ

Vì x < y nên  mà m > 0 nên a < b. Ta có

Chọn số . Do 2a < 2a + 1 và m > 0 nên  hay x < z. (1)

Do a < b và a; b ∈ Z nên a + 1 ≤ b suy ra 2a + 2 ≤ 2b.

Ta có 2a + 1 < 2a + 2 ≤ 2b nên 2a + 1 < 2b, do đó  hay z < y. (2)

Từ (1) và (2) suy ra: x < z < y