Para cualquier p primera, demostrar que $x^p-x-1$ es irreducible en $\mathbb{Q}$ [x].
(En un campo de característica p esto es cierto).
Asummed existe raíz en $\mathbb{Q}$, llamemos a $\frac{\alpha}{\beta} \in \mathbb{Q}$. Entonces después de que el $\frac{\alpha ^p}{\beta ^p} - \frac{\alpha}{\beta}-1 = 0$ y $\alpha ^p - \alpha \beta ^{p-1} - \beta ^p =0$. Así $\alpha ^p = -\beta^p (1 + \alpha \beta ^{-1})$. Pero esto sólo prueba que $x^p -x -1$ no tiene raíces racionales.