That does not rule out your counterexample. The condition is never met in your counterexample.
Oh, derp. You’re right.
That does not rule out your counterexample. The condition is never met in your counterexample.
Oh, derp. You’re right.