theorem :: MATRIX_5:11

for K being Field
for a, b being Element of K
for M being Matrix of K holds a * (b * M) = (a * b) * M