theorem Th14: :: SURREALO:14

for x, y being Surreal st L_ y << {x} & {x} << R_ y holds
[((L_ x) \/ (L_ y)),((R_ x) \/ (R_ y))] is Surreal