背理法のために最初に正しいとする命題とは違うの?