theorem Th56: :: MATRIXR2:56

for x being FinSequence of REAL
for A being Matrix of REAL st len A = len x holds
(LineVec2Mx x) * A = LineVec2Mx (x * A)