theorem Th51: :: ARYTM_3:51

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