theorem Th19: :: MATRIXR2:19

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