theorem Th39: :: GROUP_6:39

for G, H, I being non empty unital multMagma
for h being multiplicative Function of G,H
for h1 being multiplicative Function of H,I holds h1 * h is multiplicative