背理法で証明完了