Si l'algorithme [1] retourne 0 alors est un pseudo-premier fort à base . Si n'est pas premier et que est un pseudo-premier fort à base , alors on dit que est un faux témoin.