for x, y, z being Element of RAT+ holds (x + y) + z = x + (y + z)