背理法なら