Remark 1.9 The argument in the second paragraph of the above proof is a key ingredient in ergodic theoretic proofs of Roth's theorem on three-term arithmetic progressions. In fact, Roth's theorem is a corollary of our proofs, although we do not discuss this implication here. The proof of Theorem 6.1 in [1]} uses Roth's theorem in a key step.

