scheme :: POLYNOM3:sch 2
PolynomialLambdaF{ F1() -> non empty addLoopStr , F2() -> Element of NAT , F3( Element of NAT ) -> Element of F1() } :
ex p being Polynomial of F1() st
( len p <= F2() & ( for n being Element of NAT st n < F2() holds
p . n = F3(n) ) )