>>687
どこから背理法が出てきたの?