>>142はnについての帰納法でできるんじゃない