>>7
1111....111という数字の並びで
1がn個並ぶものを[n]と書くことにする。
n=1〜2017の範囲の[n]について
[n]を2017で割った余りを考える。
余りの中に0があれば、その[n]が2017で割り切れる。
0がなければ、余りの値は1〜2016の2016種類だけ
だから、2017個の余りの中には値が同じものがある。
(鳩の巣原理)
そこで、[i]と[j]を2017で割った余り(ただしi＞j)が
同じだと置くと、[i]-[j]は2017で割り切れる。
[i]-[j]=[i-j]・10^(i-j)が成り立つが、
2017は2とも5とも互いに素だから
[i-j]が2017で割り切れなければならない。
これは、n=1〜2017の[n]を2017で割った余りの中に
0がなかったと仮定したことに矛盾する。