lean_workbook_plus_36383

If $\alpha \in \mathbb{Z}/5\mathbb{Z}$ is a root of $x^5 + 4x + 3$, show that it leads to a contradiction, thus proving the irreducibility of the polynomial.