Из верности утверждения задачи для
следует верность утверждения для
. Если
начинается с цифры, меньшей чем 5, то верность утверждения задачи для
следует из его верности для
, где
подобрано так, что
оканчивается на цифру, которая больше 4. Поэтому далее будем считать, что
начинается с цифры, которая больше 4 и заканчивается ненулевой цифрой.
Заметим, что
, где
и
обозначают соответственно сумму цифр числа
и количество переносов, возникающих при сложении в столбик чисел
и
.
Подберём число
так, что
заканчивается на цифру, которая больше 4, а предпоследняя цифра отлична от 9. Если
или
имеет нечётную сумму цифр, то всё доказано. В противном случае подберём число
так, что при сложении в столбик чисел
и
последняя цифра из
оказалась прямо под первой цифрой числа
(то есть,
равно количеству цифр числа
, уменьшенному на 1). Тогда при сложении возникнет ровно один перенос разряда и число
будет иметь нечётную сумму цифр.