theorem Th2: :: GROUP_21:4

for I, J being non empty set
for a being Function of I,J
for F being multMagma-Family of J holds trans_prod (F,a) is multiplicative