数学的帰納法って式適当に変形してってn=k+1を代入すればいいの?