theorem Th4: :: SURREALC:4

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