theorem Th21: :: SURREALO:21

for x, y being Surreal holds
( {x} << {y} iff x < y )