theorem :: SURREALR:69

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