El primer primo irregular es 37. ¿FLT(37)
$$x^{37} + y^{37} = z^{37}$$
tienen alguna solución en el anillo de enteros de $\mathbb Q(\zeta_{37})$ donde $\zeta_{37}$ ¿es una raíz 37 primitiva de la unidad?
Quizá no sea cierto, pero ¿cómo podría encontrar un contraejemplo? (para cualquier anillo ciclotómico, no necesariamente 37)