theorem Th19: :: GROUP_7:19

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