背理法の使用例をコピペすることに何の意味が?