Số thỏ: 7 stn bất kì
Khi chia 1 số cho 4 thì sẽ có các khả năng dư: 0, 1, 2, 3.
Vậy số lồng là 4
Ta có: 7=4.1+3
*Nguyên lý Direchlet: Nếu nhốt a thỏ vào b lồng mà a=bq+r thì ít nhất 1 lồng có từ q+1 con thỏ trở lên.
Suy ra theo nguyên lý đó thì sẽ có ít nhất 2 số có dư bằng nhau. Vậy sẽ có các nhóm 3 và 1; 2 và 0 với tổng chia hết cho 4.
Vậy sẽ luôn tìm thấy 1 trong 2 nhóm trong 7 số chia hết cho 4 suy ra đpcm