帰納法で n^3 - 7 n + 3 は 3 で割り切れるかどうか

• 自然言語
• 数学入力