theorem Th16: :: SURREALC:16

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