theorem Th31: :: SURREALC:31

for x being Surreal holds 0_No <= |.x.|