>>39
背理法は矛盾が生じて初めて成立するぞ