A proof by contraposition of the implication p -> q is a direct proof of ¬q ->¬p (the contrapositive of p -> q).
a way of showing the truth or falsehood of a given statement by a straightforward combination of established facts, usually axioms, existing lemmas and theorems, without making any further assumptions.