>>235
ありがとうございます。
帰納法を使わない方法ってありますか?