Item 3.3.9.b.

Prove the converse. What sort of proof are you using?

in-context