theorem Th57: :: SURREALR:57

for x being Surreal holds x * 1_No = x