Khi chia một số tự nhiên bất kỳ cho 2017, số dư nhận được sẽ nằm trong tập hợp gồm 2017 giá trị: `0, 1, 2, ..., 2016`

Áp dụng nguyên lý Dirichlet:

Vì số lượng số lớn hơn số lượng số dư `->` chắc chắn phải có ít nhất 2 số có cùng số dư khi chia cho 2017

Giả sử hai số đó là a và b có cùng số dư khi chia cho 2017`->`hiệu của chúng là `a-b`sẽ chia hết cho 2017

`=>`có ít nhất 2 số tm điều kiện đề bài