theorem Th9: :: MATRIXR2:9

for A being Matrix of REAL holds (- 1) * A = - A