for M being Matrix of COMPLEX holds 1 * M = M