theorem Th64: :: SURREALC:64

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