n⁹ - n³ は9で割り切れる

＊n⁹ - n³ は9で割り切れる

Question;
n ∈ {Z} に対して n⁹ - n³ は 9 で割り切れることを示せ。

Solution;