for A being non empty set
for f, g, h being Permutation of A st ( g * f = h * f or f * g = f * h ) holds
g = h by Lm1, Lm2;