WolframAlpha 計算知能 AI
n>0 のときに 9^n-1 が 4 で割り切れることを数学的帰納法を使って証明せよ