theorem Th26: :: MATRIX_9:26

for K being Field
for a, b, c being Element of K holds the multF of K $$ <*a,b,c*> = (a * b) * c