theorem Th18: :: SURREALI:18

for x being Surreal st x is positive holds
x == ||.x.||