theorem :: XREAL_1:46

for a, b being Real st a < 0 holds
b < b - a