One of the implications will be a direct proof, the other will be a proof by contrapositive.