Théorème

Soit $N$ entier impair composé.

Alors le nombre de faux témoins ( $a \in \mathbb{Z},\; a \wedge N = 1,\;a < N,\; a$ vérifie l'algorithme précédent) est d'au plus $N/4$ ^2.1.