theorem Th89: :: GROUP_1A:288

for G being addGroup
for A being Subset of G holds A,A are_conjugated