帰納法で?
背理法がいいか?