theorem Th38: :: XREAL_1:38

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