theorem Th5: :: MATRIXR2:5

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