El Pequeño Teorema de Fermat da la condición necesaria para que un número p sea primo, el enunciado es el siguiente:
Si p es un número primo, entonces, para cada número natural a, con a > 0 , ap ≡ a (mod p)
también lo podemos ver de esta forma
Si p es un número primo y a es un número natural que no es divisible por p, entonces ap-1 ≡ 1 (mod p)
Si mcd(a, p) = 1 entonces, ap-1 ≡ 1 (mod p)