theorem Th29: :: SURREALR:29

for x, y being Surreal holds x + y = y + x