帰納法のn≦kを仮定にして証明する方法ってどういう仕組みで証明になってるんですか？