theorem Th76: :: GROUP_3:76

for G being Group
for a, b being Element of G st a,b are_conjugated holds
b,a are_conjugated