9ⁿ+17ⁿ-2≡1ⁿ+1ⁿ-2(mod 8)=1+1-2=0
9ⁿ+17ⁿ-2 сравнимо с 0 по модулю 8, а это и означает, что (9ⁿ+17ⁿ-2) ⋮ 8, ∀n∈N
Ч.т.д.
Использованы свойства сравнения чисел по модулю
