theorem Th35: :: NEWTON02:133

for n being positive Nat holds Sum (Newton_Coeff n) = (Sum (((Newton_Coeff n) | n) /^ 1)) + 2