>>982
それ、背理法と違うん?