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