theorem Th32: :: NEWTON02:130

for n being Nat holds (Newton_Coeff n) . (n + 1) = 1