theorem :: MATRIX_4:63

for K being Ring
for A, B, C being Matrix of K st len B = len C & width B = width C & len A = width B holds
(B + C) * A = (B * A) + (C * A)