背理法の「矛盾」について、ちょっと解説動画メモ http://takurobo.at.webry.info/201301/article_1.html
http://www.nicovideo.jp/watch/sm19823825
