theorem Th40: :: SURREALC:40

for x being Surreal holds |.(- x).| == |.x.| by Th39, Th38;