結局背理法が不要であるという主張は誤りってことでいいね