theorem :: SURREALO:9

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