theorem Th37: :: SURREALI:37

for X1, X2, Y1, Y2 being surreal-membered set st X2 <=_ X1 & Y2 <=_ Y1 & [X1,Y1] is surreal holds
[X2,Y2] is surreal