theorem Th10: :: SURREALI:10

for x being Surreal
for Inv being Function st Inv is ((L_ x) \/ (R_ x)) \ {0_No} -surreal-valued holds
( Union (divL (x,Inv)) is surreal-membered & Union (divR (x,Inv)) is surreal-membered )