theorem Th13: :: GROUP_1:14

for G being Group
for f, g, h being Element of G holds
( f * h = g iff f = g * (h ") )