How do I show this here?Contradiction cheat sheetπ¨Contradiction cheat sheetπ¨Induction proofsβ cheat sheet