theorem Th27: :: SURREALS:27

for x, y being Surreal st 0_No <= x & x < y holds
sqrt x < sqrt y