Sea $f : \mathbb{Z} \rightarrow \mathbb{Z}^+$ una función, y defina $h : \mathbb{Z} \times \mathbb{Z} \rightarrow \mathbb{Z}^+$ por $h(x, y) = \gcd (f(x), f(y))$ . Si $h(x, y)$ es un polinomio de dos variables en $x$ e $y$ , demuestre que debe ser constante.