theorem NCI: :: NEWTON04:75

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