 His insights led to important results, such as the proof by Ben Green and Terence Tao that the sequence of prime numbers includes arbitrary large arithmetic progressions.He proved unique ergodicity of horocycle flows on compact hyperbolic Riemann surfaces in the early 1970s.In 1977, he gave an ergodic theory reformulation, and subsequently proof, of Szemerédi's theorem.