for G being addGroup
for a, b, c being Element of G st a,b are_conjugated & b,c are_conjugated holds
a,c are_conjugated