$q_0, q_1, q_2, \dots$ 는 다음 두 조건을 만족하는 정수들의 무한수열이다.
(i) $m > n \geq 0$ 에 대해, $m-n$ 은 $q_m-q_n$ 을 나눈다.
(ii) 모든 $n$에 대하여 $|q_n| < P(n)$ 을 만족하는 다항식 $P$가 존재한다. 모든 $n$에 대하여 $q_n = Q(n)$ 인 다항식 $Q$가 존재함을 증명하여라.