theorem Th52: :: MATRIX13:52

for i being Nat
for K being Field
for M being Matrix of K holds Segm (M,(Seg (len M)),((Seg (width M)) \ {i})) = DelCol (M,i)