theorem Th35: :: XREAL_1:35

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