Because if x is greater than y, then x-y wouldn’t be below 0 like it’s shown, so x must be less than y.
And if x is less than y, any negative y would mean x is negative as well since it’s always less than y. And as shown, x+y is positive so it’s impossible for y to be negative.
