theorem Th16: :: SURREALN:16

for x, y being Surreal st x = [{y},{}] & y < 0_No holds
x == 0_No