theorem Th1: :: MATRIX_4:1

for K being Ring
for M being Matrix of K holds - (- M) = M