それのどこで背理法を使ってるの?