Su método fue refinado por Derrick Henry Lehmer en 1930 y, hoy día, es la base de una de las pruebas de primalidad clásicas más conocidas.