theorem Th3: :: SURREALO:3

for x being Surreal holds x <= x