theorem Th51: :: MATRIX13:51

for D being non empty set
for i being Nat
for A being Matrix of D holds Segm (A,((Seg (len A)) \ {i}),(Seg (width A))) = Del (A,i)