theorem Th92: :: GROUP_1A:291

for G being addGroup
for a, b being Element of G holds
( {a},{b} are_conjugated iff a,b are_conjugated )