for m being Nat
for K being Field
for mt, mt1 being Element of m -tuples_on NAT
for M being Matrix of K st not mt is one-to-one holds
Det (Segm (M,mt1,mt)) = 0. K