theorem Th26: :: MATRIXR2:26

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 <= width A holds
Col ((A - B),i) = (Col (A,i)) - (Col (B,i))