theorem :: FINSEQ_3:110

for k, n being Nat
for f being FinSequence st k < n holds
(Del (f,n)) . k = f . k