Proof by Contraposition

This is a type of Proofs that comes from Implication (Logic). You can also see the rules of Contraposition

If you have a statement that is $A⟹B$, but it’s hard to prove, try to contrapose it.
$\therefore$ $\neg B⟹\neg A$