theorem Th9: :: SURREALC:9

for x, y being Surreal st x infinitely< y holds
x < y