theorem Th56: :: SURREALR:56

for x being Surreal holds x * 0_No = 0_No