>>378
P20の
3^(n+1)+4^(2n-1)が13で割り切れることの証明は
mod変形のみでa(n+3)とか求めてないんですよ。
この場合は
16≡3 mod13より
3^(n+1)+4^(2n-1)≡9・3^ん-1+4/3^n-1≡13・3^n-1=≡0 mod13より
13で割り切れるなんですよ。

えええa(n+3)で求めてないじゃんｗｗｗって思いました。
どっちの解き方が正しいんでしょうか？
後者のほうがわかりやすいとはいえどの部分でmod変形適用していいかは
悩みますよね。mod変形はなれないと本当に難しいことは確かですよね。