theorem Th90: :: GROUP_1A:289

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