theorem Th10: :: MATRIXC1:11

for M being Matrix of COMPLEX holds (- 1) * M = - M