theorem Th47: :: SURREALC:47

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