theorem Th45: :: SURREALC:45

for x, y being Surreal st |.y.| infinitely< |.x.| holds
not x + y == 0_No