Si nous voulons vérifier si p est de premier ordre, alors nous pouvons choisir au hasard a 's dans l'intervalle et voir si l'égalité tient.
Le petit théorème de Concept Fermat indique que si p est premier et. Si nous voulons vérifier si n est premier, nous pouvons choisir au hasard a 's dans l'intervalle et voir si l'équation ci-dessus tient.