theorem :: MATRIX_5:14

for M being Matrix of COMPLEX holds (M + M) + M = 3 * M