theorem Th11: :: SURREALO:11

for x being Surreal holds
( L_ x << {x} & {x} << R_ x )