theorem Th7: :: MATRIXR2:7

for A, B being Matrix of REAL st len A = len B & width A = width B & len A > 0 holds
A + (B - B) = A