theorem Th29: :: SURREALS:29

for x being Surreal st 0_No <= x holds
sqrt (x * x) == x