 The proof is an extension of Szemerédi's theorem.The problem can be traced back to investigations of Lagrange and Waring from around 1770.Let formula_1 denote the number of primes less than or equal to formula_2.