theorem Th4: :: SURREALO:4

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