づっ
どぅっΣ（・□・；）

n=kで成り立つ
↑これを仮定している
別に絶対成り立つ必要はない。
なぜなら仮定しているからだ

n=kで成り立つと仮定して、n=k＋1で成り立てばいいのさb

n=k＋1で成り立てば、n-1=kで成り立つ訳でしょ？
成り立たなかったらn=kの仮定が間違っているわけだから(⌒▽⌒)