theorem Th36: :: SURREALC:36

for x being Surreal st not x == 0_No holds
|.x.| is positive