Из верности утверждения задачи для

следует верность утверждения для

. Если

начинается с цифры, меньшей чем 5, то верность утверждения задачи для

следует из его верности для

, где

подобрано так, что

оканчивается на цифру, которая больше 4. Поэтому далее будем считать, что

начинается с цифры, которая больше 4 и заканчивается ненулевой цифрой.
Заметим, что

, где

и

обозначают соответственно сумму цифр числа

и количество переносов, возникающих при сложении в столбик чисел

и

.
Подберём число

так, что

заканчивается на цифру, которая больше 4, а предпоследняя цифра отлична от 9. Если

или

имеет нечётную сумму цифр, то всё доказано. В противном случае подберём число

так, что при сложении в столбик чисел

и

последняя цифра из

оказалась прямо под первой цифрой числа

(то есть,

равно количеству цифр числа

, уменьшенному на 1). Тогда при сложении возникнет ровно один перенос разряда и число

будет иметь нечётную сумму цифр.