theorem :: GROUP_5:41

for G being Group
for a, b being Element of G holds [.a,b,a.] = [.(a |^ b),a.]