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