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

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