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