theorem :: SURREALC:33

for x being Surreal holds
( x == 0_No iff |.x.| == 0_No )