帰納法の仮定から右辺の2番目の項は