theorem Th3: :: MATRIXC1:4

for i, j being Nat
for a being Complex
for M being Matrix of COMPLEX st [i,j] in Indices M holds
(a * M) * (i,j) = a * (M * (i,j))