theorem :: MATRIX_5:21

for M1, M2 being Matrix of COMPLEX
for a being Complex st len M1 = len M2 & width M1 = width M2 holds
a * (M1 + M2) = (a * M1) + (a * M2)