theorem :: MATRIX_5:13

for M being Matrix of COMPLEX holds M + M = 2 * M