Statt $A\Rightarrow B$ beweist man die äquivalente Aussage $\neg B\Rightarrow\neg A$.
Nützlich, wenn aus der Verneinung der Behauptung leichter die Verneinung der Voraussetzung folgt.