theorem Th2: :: MATRIXC1:3

for a being Complex
for M being Matrix of COMPLEX holds
( len (a * M) = len M & width (a * M) = width M )