theorem Th43: :: SURREALO:43

for o being object
for x being Surreal st x is uSurreal & o in (L_ x) \/ (R_ x) holds
o is uSurreal