moderate proof

If you haven't been introduced to bi-conditional elimination yet, don't worry. I use it here, but if you are on module 5 it will not be introduced until module 6. It is pretty straight forward though. It just splits a biconditional P if and only if Q into either of two conditionals: P therefore Q and Q therefore P. You can then use those conditionals as normal.