theorem :: MATRIXR1:35

for A, B being Matrix of REAL holds A - (- B) = A + B