theorem Th4: :: MATRIXC1:5

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