Este teorema afirma que existen infinitas progresiones aritméticas de números primos arbitrariamente largas.