AFM.LR.2.3: Prove statements indirectly by proving the contrapositive of the statement.