>>742
> 一般論から最初に言うと、
> 数学的帰納法を使う場合はn=kのときで成り立つという仮定を
> n=k+1で成り立つと示す時に必ず使う。

必ずしも使うとは限らないという例がある。