“If delta-x is negative, then delta-y can be positive.”

It seems like there’s a straightforward/obvious corollary that reverses the sign on both clauses. (Walk the curve in the opposing direction.)