for k, l being Nat st k in dom (Newton_Coeff l) holds
not (Newton_Coeff l) . k is zero