theorem :: NEWTON02:129

for n being Nat holds Newton_Coeff n is FinSequence of NAT