theorem Th27: :: MATRIXR1:27

for a being Real
for A being Matrix of REAL holds
( len (a * A) = len A & width (a * A) = width A )