theorem Th45: :: SURREAL0:45

for x being Surreal holds L_ x << R_ x