theorem Th24: :: GROUP_3:24

for G being Group
for a, g, h being Element of G holds (a |^ g) |^ h = a |^ (g * h)