Introduction to additive combinatorics lecture 11.2 --- Part of the proof of Roth's theorem