Por ejemplo, después de realizar el test de Miller-Rabin formula_8 veces, el algoritmo o bien expide un certificado de que el número es compuesto o bien afirma que el número tiene una alta probabilidad de ser primo.