Target to prove in Inductive Step명제가 어떤 n에 대해 유지된다는, 귀납적 단계에서 가설 StrategyStrengthen the inductive hypothesis