En la afirmación original de Fermat, no se hace explícita la suposición de que "a" y "p" son primos relativos.