Bu ispat genelleştirilebilir. f(n) sabit olmayan bir polinom olsun. f polinomunun sabit katsayısı sıfırsa n|f(n). Eğer sabit katsayısı k=f(0)≠0 ise her n tamsayısı için k|f(nk). f(nk) sayıları sonsuz farklı değer alacaktır ve hepsi k tarafından bölünecektir. O halde en azından bir tanesi asal değildir (aslında neredeyse hepsi).
Bu ispat k=±1 için çalışmaz. Nasıl düzeltilebilir?