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