Igazoljuk, hogy ha P(x) és Q(x) polinomok ugyanazon x helyeken vesznek fel egész értékeket, akkor vagy P(x)+Q(x), vagy P(x)-Q(x) állandó.