Sea $ f(x) = \prod^n_{k=1} (x - a_k) - 2,$ donde $ n \geq 3$ y $ a_1, a_2, \ldots,$ an son enteros distintos. Suponga que $ f(x) = g(x)h(x),$ donde $ g(x), h(x)$ son ambos polinomios no constantes con coeficientes enteros. Demuestre que $ n = 3.$