ご参考

https://rio2016.5ch.net/test/read.cgi/math/1526471024/
背理法不要論ってどうなん?