Silverman demostró en 1988 que si la conjetura abc es válida, para todo número entero positivo formula_7, existen infinitos números primos formula_1 tal que formula_2 no divide a formula_10.