Green–Taova teorema
U teoriji brojeva, Green–Tao teorem, koji su dokazali Ben Green i Terence Tao 2004. godine, kaže da niz prostih brojeva sadrži proizvoljno duge aritmetičke progresije. Drugim riječima, za svaki prirodni broj k {\displaystyle k} postoji aritmetička progresija prostih brojeva sa k {\displaystyle k} članova. Dokaz je proširenje Szemerédijevog teorema. Problem se može pratiti do istraživanja Lagrangea i Waringa iz oko 1770.