theorem Th10: :: MATRIXR2:10

for A being Matrix of REAL
for i, j being Nat st [i,j] in Indices A holds
(- A) * (i,j) = - (A * (i,j))