theorem Th5: :: SURREALO:5

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