theorem Th39: :: SURREALC:39

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