theorem Th36: :: XREAL_1:36

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