数学的帰納法って
定理の確かめとかに使えるけど、定理そのものを導き出すにはつかえないよね？使える？