theorem Th22: :: GROUP_5:22

for G being Group
for a, b being Element of G holds [.a,b.] " = [.b,a.]