theorem :: SURREALI:19

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