theorem :: MATRIX_5:10

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