回答

いいと思います。
連続する3整数には必ず3の倍数が含まれており、連続する2整数には必ず2の倍数が含まれているので、連続する3整数の積は2*3=6の倍数になる、と添えてもいいと思います。
多項式のmod6はこの論法で
n^3≡n
として次数下げはよくあるパターンですよね。

この回答にコメントする

合ってると言えば合っていますが、3つの連続した整数が6の倍数となるのを、いきなり使うのではなく証明した方がいいかもしれないです。

この回答にコメントする
疑問は解決しましたか?