theorem Th95: :: GROUP_1A:294

for G being addGroup
for A, B being Subset of G holds
( A in con_class B iff A,B are_conjugated )