theorem Th63: :: MATRIX_0:63

for D being non empty set
for G being Matrix of D
for i, m being Nat st i in Seg (width G) & width G = m + 1 holds
width (DelCol (G,i)) = m