theorem Th38: :: SURREALC:38

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