>>75は帰納法でできないかな?