theorem Th6: :: SURREALO:6

for x, y being Surreal st not y <= x holds
x <= y