theorem :: SURREALO:44

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