Test de primalidad de Fermat

Teorema pequeño de Fermat

a y p coprimos
p primo ⇒ a^p-1 ≡ 1 (mod p)

La proposición recíproca es falsa
¿341 es un contraejemplo? 2 y 341 son coprimos, 2³⁴⁰ ≡ 1 (mod 341) y sin embargo 341 no es primo