Si nous choisissons un a tel que le témoin de Fermat est alors connu pour la compositesse de n. Exemple Supposons que nous voulons déterminer si n = 221 est premier.
Si nous choisissons un a tel qu'un est connu comme un témoin de Fermat pour la compositesse de n. est l'opération modulo.