Ta đã biết 1 số tự nhiên khi chia cho 5 chỉ có thể có 5 loại số dư là dư 0; 1; 2; 3; 4; 5. Có 6 số mà chỉ có 5 loại số dư nên theo nguyên lí Đirichlet sẽ có ít nhất 2 số cùng dư
Hiệu của 2 số này chia hết cho 5
Chứng tỏ với 6 số tự nhiên bất kì, luôn có ít nhất 2 số tự nhiên mà hiệu của chúng chia hết cho 5