Check if $f(X):= X^3 -2$ is irreducible or not in $\mathbb{Z}_{31} [X]$
I can note that if $f(X)$ is reducible I have one factor of degree $1$ and so there is at least one root of $2$ in $\mathbb{Z}_{31}$. I can somehow use Fermat to prove or not that there is a root?
Note that $2^{5}\equiv 1\pmod{31}$. So $2^6=(2^2)^3\equiv 2\pmod{31}$.