theorem Th39: :: XXREAL_3:39

for x, z being ExtReal st 0 <= z holds
x <= x + z