theorem Th20: :: SURREALS:20

for x being Surreal st x <= 0_No holds
sqrt x is surreal