fǎn​zhèng​fǎ

proof by contradiction