theorem :: NEWTON:32

for s being natural Number holds 2 |^ s = Sum (Newton_Coeff s)