theorem Th33: :: NEWTON02:131

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