>>362
背理法ってゴミだな
それに偽の命題から導出される真または偽の命題は真の命題
というのは愉快だね