theorem Th42: :: SURREALC:42

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