for c being non empty positive-yielding XFinSequence of REAL
for x being Nat holds 0 < (polynom c) . x