>>901
まず-2*3^nは必ず6の倍数だ。
そして11は6で割ると5余る。
後は『7^nを6で割ると必ず1余る』ことを証明すれば、
7^n-2*3^n+11が常に6で割り切れることを示せる。

この『7^nを6で割ると必ず1余る』を証明するのに数学的帰納法を使う。
7^nが6で割って1余ることを前提として7^(n+1)も同様であることを示す。