>>471
背理法で証明完了。