... think the best way to start is to first simplify the statement ... before figuring out the contrapositive. To do that, take the embedded ... why did we do that? What's happening here is we ... sufficient terms that should occur to give us the necessary condition (which ...