theorem Th44: :: SURREALC:44

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