Proof by Contraposition (Discrete Math)

To prove an implication, we show that its contrapositive is true. We begin by assuming its conclusion to be false, and use this information to deduce that its hypothesis is false.