いやいや、0や1で成り立つことは確認しても、n=kで成り立つことはあくまで「仮定」でしょ?
仮定だから、成り立つかどうかわからない。>>979が正しい