theorem :: SURREALS:16

for o being object
for p being pair object st Union (sqrtL (p,o)) = {} holds
L_ p = {}