背理法不要論を論破したいってことらしい