Proof by contradiction

A proof strategy whereby a statement’s negation is proved by assuming the statement is true.This assumption leads to a contradiction, which proves the assumption is false. (See also Negation introduction and Indirect proof.)