Proof by Contradiction

A method of proof that assumes the negation of the target statement and derives a logical contradiction; from the contradiction one concludes the original statement (classically using the law of excluded middle or double-negation elimination).