Primes contain arbitrarily long arithmetic progressions. Szemerédi + Gowers uniformity + Goldston-Yildirim. Green-Tao 2008.