theorem Th18: :: GROUP_7:18

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