theorem Th89: :: GROUP_3:89

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