Cho hai số m và n thỏa mãn m > n. Chứng tỏ m + 5 > n + 4.

Cộng 5 vào hai vế của bất đẳng thức m > n, ta được:

m + 5 > n + 5.    (1)

Cộng n vào hai vế của bất đẳng thức 4 < 5, ta được:

4 + n < 5 + n hay n + 5 > n + 4.   (2)

Từ (1) và (2) suy ra m + 5 > n + 4 (tính chất bắc cầu).