theorem Th14: :: SURREALC:14

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