背理法は不要なのか

と、オチコボレが申しております