Talk:Roth's theorem on arithmetic progressions