theorem Th6: :: GRNILP_1:6

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