En su búsqueda vio que el teorema antes expuesto era útil para detectar posibles primos formula_20 tales que formula_30.