theorem Th19: :: MATRIXR2:19

for K being Ring
for A, C being Matrix of K st width A = len C & len C > 0 holds
A * (- C) = - (A * C)