veelterm

Veronderstel dat $q_0,q_1,q_2,\ldots$ een oneindige rij van natuurlijke getallen is die voldoet aan de volgende twee voorwaarden:

• $m-n$ deelt $q_m-q_n$ voor alle $m>n\geq0$,
• er bestaat een veelterm $P$ zodat $|q_n|

Bewijs dat er een veelterm $Q$ bestaat zodat $q_n=Q(n)$ voor alle $n$.[/]