theorem Th26: :: GROUP_3:26

for G being Group
for a, b being Element of G holds (a ") |^ b = (a |^ b) "