theorem Th37: :: XREAL_1:37

for a, b, c being Real st a < 0 & c <= b holds
c + a < b