theorem :: SURREALS:22

for x being Surreal st 0_No == x holds
sqrt x == 0_No by Th19;