theorem Th8: :: MATRIXC1:9

for M being Matrix of COMPLEX holds
( len (- M) = len M & width (- M) = width M )