theorem Th21: :: SURREALI:21

for x, y being Surreal st x is positive & y in ((L_ ||.x.||) \/ (R_ ||.x.||)) \ {0_No} holds
y is positive