theorem Th16: :: GROUP_3:16

for G being Group
for a, b, g being Element of G st a |^ g = b |^ g holds
a = b