theorem :: SURREALS:32

ex x, y being Surreal st
( x == y & y < 0_No & sqrt x < sqrt y )