theorem Th2: :: MATRIX_4:2

for K being Ring
for M being Matrix of K holds M + (- M) = 0. (K,(len M),(width M))