Proof by contrapositive

Corrections:

None yet, let me know if you spot any mistake!