ANote  Observe that the above proof also uses the method of proof by cases (ii)
Proof by using contrapositive statement of the given statement
Instead of proving the conditional p ⇒ q, we prove its equivalent, i e ,
~ q ⇒ ~ p