La conjetura de Polignac es una versión más general y más fuerte de la anterior, ya que enuncia que, para cada entero positivo "n", hay infinitos pares de primos consecutivos que difieren en 2"n".