theorem :: SURREALO:2

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