f is FinSequence of D by NEWTON02:103;
hence Del (f,i) is D -valued by FINSEQ_3:105; :: thesis: verum