theorem Th43: :: SURREALC:43

for x, y, z being Surreal st |.x.| infinitely< z & |.y.| infinitely< z holds
|.(x - y).| infinitely< z