theorem Th31: :: NEWTON:31

for s being natural Number holds Newton_Coeff s = (1,1) In_Power s