Доказать, что (2^12+8): 9

Представим это как 8*(2^9+1)=8*(8^3+1). Сумма кубов делится на сумму чисел нацело (ну, из свойств многочленов следует), поэтому это выражение делится на (8+1). Можно и ответ сосчитать, но вопрос был — доказать делимость.