theorem Th15: :: SURREALC:15

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