Se puede demostrar que un número compuesto es clasificado «probable primo» en una iteración del algoritmo con una probabilidad inferior a 1/4.