Hint
3.2.5.1
.
One of the implications will be a direct proof, the other will be a proof by contrapositive.
in-context