AFM.LR.2.4: Apply the method of reductio ad absurdum (proof by contradiction) to prove statements.