theorem Th46: :: SURREALC:46

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