theorem :: SURREALR:24

for x being Surreal holds
( x == 0_No iff - x == 0_No ) by Th23, Th10;