We study the L2 -convergence of two types of ergodic averages. The first is the average of a product of functions evaluated at return times along arithmetic progressions, such as the expressions appearing in Furstenberg’s proof of Szemer´di’s theorem.