Sea formula_1 entonces la progresión aritmética formula_2 contiene infinitos números primos.