The ergodic theoretical proof of Szemerédi’s theorem

some forty years earlier by Erdös and Turan: THEOREM I. Let A C Z be a subset of the integers of positive upper density, then A contains arbitrarily long arithmetic progressions. Partial results were obtained previously by K. F. Roth (1952) who established