結局、有限の立場で背理法はOKなの?