theorem Th17: :: SURREALC:17

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