Asumiendo correcta la hipótesis generalizada de Riemann, se puede demostrar que, si todo valor de "a" hasta 2(ln "n")² ha sido verificado y "n" todavía es clasificado como probable primo, entonces "n" es en realidad un número primo.