theorem Th6: :: MATRIXR2:6

for A, B being Matrix of REAL st len A = len B & width A = width B holds
( len (A - B) = len A & width (A - B) = width A & ( for i, j being Nat st [i,j] in Indices A holds
(A - B) * (i,j) = (A * (i,j)) - (B * (i,j)) ) )