theorem PXR1: :: ASYMPT_3:22

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