帰納法の仮定に名前を付けるところまで