theorem Th16: :: GROUP_7:16

for G1, G2 being non empty multMagma holds <*G1,G2*> is multMagma-Family of {1,2}