theorem :: MATRIX_4:62

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