n=kのときを仮定したらなんでn<kのときも仮定に従うものとして扱っていいのかわかりません。
https://i.imgur.com/VrNnsBM.jpg
これの35番みたいな奴です