theorem :: SURREALO:22

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