theorem Th40: :: MATRIXR1:40

for a being Real
for A, B being Matrix of REAL st width A = len B holds
A * (a * B) = a * (A * B)