Every proof by contradiction can be seen as following the template identified in the theorem. 

Namely, when we've proved a statement $S$ by contradiction, then $S$ follows from $S$ and also from $\neg S$.