En cambio, el primer caso del Último Teorema de Fermat (el caso en que "p" no divide "xyz") tiene que cumplirse para cada primo "p" para el que pueda encontrarse un primo auxiliar.