Ipotizziamo per assurdo che f(x) non sia costante.
sia $ f(x)=a_nx^n+a_{n-1}x^{n-1}+...+a_1x+a_0 $. Esisterà qualche x nella forma $ ka_0 $ per cui $ a_nx^n+a_{n-1}x^{n-1}+...+a_1x $ è diverso da 0, quindi $ f(ka_0)=a_0[(a_nx^n+a_{n-1}x^{n-1}+...+a_1x)/a_0+1] $, quindi qualche f(x) non è primo --> assurdo
spero di non aver sbagliato xD