theorem :: SURREALS:26

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