theorem Th37: :: SURREALR:37

for x, y, z being Surreal holds (x + y) + z = x + (y + z)