theorem :: MATRIXC1:12

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