theorem Th3: :: MATRLIN:3

for m, n being Nat
for D being non empty set
for M being Matrix of n + 1,m,D holds Del (M,(n + 1)) is Matrix of n,m,D