 The main distinction is that a proof by contrapositive applies only to statements formula_15 that can be written in the form formula_20 (i.e., implications), whereas the technique of proof by contradiction applies to statements formula_15 of any form