bèi lǐ fǎ

背理法

proof by contradiction

Frequency 3.3