theorem :: GROUP_2:20

for G being non empty multMagma
for g, g1, g2 being Element of G holds {g1,g2} * {g} = {(g1 * g),(g2 * g)}