Последовательность $q_1,q_2,\ldots,$ состоящая из целых чисел, удовлетворяет двум условиям:
(a) $m - n$ делит $q_m - q_n$ при $m>n \geq 0$
(b) Существует многочлен $P$ такой, что $|q_n| < P(n)$ для всех $n.$
Докажите, что существует многочлен $Q$ такой, что $q_n = Q(n)$ для всех $n.$