proof by contradiction

[ریاضیات] اثبات با استفاده از تناقض، برهان خلف