theorem Th8: :: POLYNOM1:8

for L being non empty multMagma
for a, b being Element of L holds a * <*b*> = <*(a * b)*>