  We present a lecture note on Thouvenot's proof of the Roth-Furstenberg
theorem and joining proofs of Furstenberg's theorems on multiple progression
average mixing for weakly mixing transformations.
