theorem Th25: :: MATRIXR2:25

for A, B being Matrix of REAL st len A = len B & width A = width B holds
for i being Nat st 1 <= i & i <= len A holds
Line ((A - B),i) = (Line (A,i)) - (Line (B,i))