Principle of Indirect Proof

A proof method that establishes the truth of a proposition P by assuming its negation ¬P and deriving a contradiction; from the contradiction one concludes that P must hold (commonly called reductio ad absurdum or proof by contradiction in classical logic).