AFM.5: Prove a statement indirectly by proving the contrapositive of the statement.