Пусть S(n) - сумма цифр натурального числа. Докажем, что 
Пусть
. Тогда

Доказано.
Тогда очевидно, что
, и оставшееся в конце однозначное число дает при делении на 9 тот же остаток, что и исходное число.

Единственное однозначное число, дающее остаток 8 при делении на 9, - это 8.
ответ: 8