theorem Th37: :: XXREAL_3:37

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