theorem Th36: :: XXREAL_3:36

for x, y, z, w being ExtReal st x <= y & z <= w holds
x + z <= y + w