theorem Th52: :: ARYTM_3:52

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