for n being Nat holds Newton_Coeff n is FinSequence of NAT