theorem Th15: :: MATRIXR2:15

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