A theorem of the form p ⇒ q can be proved by establishing instead its contrapositive, by supposing ¬q and showing that ¬p follows. Such a method is called an indirect proof. Another example of an indirect proof is the method of proof by contradiction.