Lokman Gökçe'nin yorumuna ek olarak, bir asal modulunde test edebilirsiniz.
Teorem: f(x)∈Z[x] primitive olarak verilsin (yani f polinomundaki katsayıların EBOB'u 1, örnek: 2x3+3x2+1 primitive, ama 2x2+4x+2 primitive degil çünkü 2 ile sadeleşme var), p bir asal sayı olsun eğer f 'nin tüm katsayılarını p asal sayısında modulunu alırsanız ve bu mod'da f'nin derecesi değişmiyor ve f indirgenemez ise \in \mod p, f, \mathbb Z[x]'de indirgenemezdir. Ayrıca \mathbb Z[x]'de ve \mathbb Q[x]'de indirgenemezlik denktir.
Bu teoremin basit bir örnegini yapıp soruyu cevaplayalım:
Örnek: 5x^3-x^2+4x+5, p=2 için denersek x^3-x^2+1'e denk geliyor \mod 2'de, \mod 2 dediğimiz aslında biz bu polinomu \mathbb Z_2[x]'de düşünüyoruz demek burada kökü var mı yok mu demek 2 ve 3. dereceli polinomların indirgenmişliğini analiz etmemize yetiyor, 0 için 0^3-0^2+1\neq 0\mod 2,1 için 1^3-1^2+1\neq 0 \mod 2
Yani 5x^3-x^2+4x+5, p=2 için indirgenemez oldugundan, indirgenemez.
Sizin sorunuz için yine p=2 çalışıyor (bu arada bu metod biraz deneme yanılma, tüm asallar için deneseniz bile bulamayabilirsiniz)
9x^3-8x^2+5x+13 \equiv \underbrace{x^3+x+1}_{\bar f(x)}\mod 2
\bar f(0)=1\neq 0
\bar f(1)=1+1+1\equiv 1\mod 2 \not\equiv 0 \mod 2
Dolayısıyla \mod 2 de indirgenemez yani 9x^3-8x^2+5x+13 indirgenemez