Giả sử :
Ta có dãy số gồm \(2015\) số hoàn toàn tạo bởi số \(2\) : \(2;22;222;...;22..22\) ( \(2015\) số \(2\))
Nếu trong dãy số trên có số chia hết cho \(2015\) thì bài được chứng minh
Nếu không có số nào trong dãy cho trên chia hết cho \(2015\) thì :
Lần lượt chia các số trong dãy số cho \(2015\) ta được số dư từ \(1 -> 2014\)
Ta sẽ có ít nhất \(2\) số chia cho \(2018\) có cùng số dư (Theo nguyên lý dirichlet)
Gọi hai số đó là (an<an2)
Khi đó : (an2) - an = 2...0...( có n chữ số 2 và n2 - n chữ số 0) \(\vdots\) 2015 (đpcm)