theorem Th18: :: SURREALS:18

for o being object
for x being Surreal st x <= 0_No holds
Union (sqrtL ((sqrt_0 x),o)) = {}