Proof by Contrapositive

Natural & Formal Sciences Dictionary
A proof technique that establishes an implication P ⇒ Q by proving its contrapositive ¬Q ⇒ ¬P instead; since an implication is classically equivalent to its contrapositive, demonstrating the latter suffices to conclude the former.