theorem :: SURREALC:19

for x, y, z being Surreal st x == y & z infinitely< x holds
z infinitely< y by SURREALO:4;