theorem :: GROUP_2:21

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