theorem Th10: :: GROUP_17:10

for X, Y being non empty multMagma holds the carrier of (product <*X,Y*>) = product <* the carrier of X, the carrier of Y*>