>>255
背理法とどう関係があるの?