theorem Th12: :: MATRIX_5:12

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