theorem :: SURREALO:45

for x being Surreal st not R_ x is empty & R_ x is finite & x is uSurreal holds
card (R_ x) = 1