theorem Th38: :: SURREALR:38

for x being Surreal holds x + 0_No = x