Khi chia 1 số tự nhiên cho 3, chỉ có 3 số dư là 0, 1, 2
Do đó, theo nguyên lý Dirichlet, trong 4 số tự nhiên luôn có ít nhất 2 số có cùng số dư khi chia 3.
Nên hiệu của 2 số đó sẽ chia hết cho 3.
Hay trong 4 số tự nhiên bất kì luôn tồn tại 2 số có hiệu chia hết cho 3