Теория чисел на Высшей пробе

Заметим, что если для исходного числа существует такой момент, то и для числа , полученного вычеркиванием всех девяток из исходного, он так же существует, поскольку каждое вычеркивание не меняет остаток при делении суммы цифр на 9.

Рассмотрим число . В силу неравенства , отношение количества восьмерок к оставшимся числам, больше 9. Отметим подряд идущие блоки по 9 чисел. Докажем, что существует блок, элементами которого являются лишь восьмерки. Пусть это не так, тогда в каждом блоке есть цифра отличная от восьмерки, следовательно, количество цифр, не являющихся восьмерками, хотя бы от общего количество, что противоречит полученному неравенству.

Рассмотрим блок, состоящий только из восьмерок. Пусть число, полученное из вычеркиванием всех цифр до найденного блока, имеет остаток при делении на 9. Каждое вычеркивание 8 увеличивает остаток при делении на 9 на 1, следовательно, вычеркнув элементов в блоке, мы получим искомое число.