theorem :: MATRIXR2:54

for x being FinSequence of REAL
for A, B being Matrix of REAL st len x = len A & len A = len B & width A = width B & len A > 0 holds
x * (A - B) = (x * A) - (x * B)