背理法

proof by contradiction

帰謬法