Wäre es reduzibel, dann hätte einen Faktor mit Grad=1
also hätte es eine Nullstelle in Q und wegen Leitkoeffizient 1
wäre die sogar in ℤ.
Damit gäbe es ein n∈ℤ mit n3 - n - a = 0
<=> n*(n2 - 1 ) = a.
Wäre n gerade, dann wäre auch a gerade. Widerspruch!
Wäre n ungerade, dann auch n2 ungerade, also n2-1
gerade also n*(n2-1) auch gerade, also a gerade. Widerspruch!
Somit f irreduzibel.