>>38さん
つまり、

n^3はに3の倍数が必ず1個含まれることを言うには、
n^3-nの、-nの部分が3の倍数の時、2の倍数である時とを
場合分けしなければいけないのでしょうか？