theorem Th11: :: SURREALC:11

for x, y, z being Surreal st x <= y & y infinitely< z holds
x infinitely< z