theorem Th4: :: LAPLACE:4

for K being Field
for A being Matrix of K
for i being Nat st len A > 1 holds
width A = width (DelLine (A,i))