I 1975 beviste Szemerédi en generalisering av dette teoremet, som er kjent som Szemerédis teorem. Han viste at for enhver tetthet , hvor , og ethvert naturlig tall , så finnes et tall slik at hvis , så vil enhver delmengde av med minst elementer inneholde en aritmetisk følge av lengde .