for j being Nat
for K being Field
for A being Matrix of K st j in Seg (width A) holds
width (DelCol (A,j)) = (width A) -' 1