in math terms : Indirect proof is a type of proof in which a statement to be proved is assumed false and if the assumption leads to an impossibility, then the statement assumed false has been proved to be true.