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 n^3 - n - a = 0
<=> n*(n^2 - 1 ) = a.
Wäre n gerade, dann wäre auch a gerade. Widerspruch!
Wäre n ungerade, dann auch n^2 ungerade, also n^2-1
gerade also n*(n^2-1) auch gerade, also a gerade. Widerspruch!
Somit f irreduzibel.