theorem D1: :: NEWTON04:47

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