theorem Th27: :: GROUP_5:27

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