theorem Th59: :: MATRIXR2:59

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