theorem :: MATRIXR2:47

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