theorem :: XREAL_1:30

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