for k being Nat holds (Newton_Coeff k) . 1 = 1