xét 24 số 1;11;111;...;11...1(24 c/s 1)
theo n/lí diricle =>có 2 số chia cho 23 có cùng số dư
g/s:2 số đó là
11...1(n c/s 1) và 11...1(m c/s 1) [n,m\(\in\)Z ; n>m]
=> 11...1(n c/s 1) - 11...1(m c/s 1)
=11...10...0 (n-m c/s 1;m c/s 0) chia hết cho 23 (do hết số dư)
Vậy tồn tại số gồm toàn các c/s 0 và 1 chia hết cho 23
(đpcm)