9の倍数を証明するには？

9で割った余りで分類するのは大変です。

ただ、式を因数分解するとn^3までしか分解できないので、3で割った余りで分類できます。

あともう1つのポイントは、積の形になっているので、因数の１つが9の倍数であればいいということです。