theorem Th39: :: XREAL_1:39

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