Vì dấu hiệu chia hết cho 5 chỉ phụ thuộc vào chữ số tận cùng nên ta có thể tóm tắt bài toán như sau:
Lấy 17 chữ số bất kì trong tập {1;2;3;4} (có thể trùng nhau). Chứng minh tồn tại 5 số có tổng chia hết cho 5.
Theo nguyên lí Dirichlet, tồn tại [tex][\frac{17}{4}]+1=5[/tex] số giống nhau. Mà 5 số giống nhau thì có tổng chia hết cho 5 nên ta có đpcm.