Indirect proof

A proof whereby a statement’s negation is proved by assuming the statement is true. Thatassumption leads to a contradiction, which proves the assumption is false. (See also Proof bycontradiction or Negation introduction.)