theorem Th9: :: POLYNOM1:9

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