theorem :: MATRIXR1:43

for a being Real
for A, B being Matrix of REAL st len A = len B & width A = width B holds
a * (A + B) = (a * A) + (a * B)