theorem Th57: :: MATRIXR2:57

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