To expose key ideas behind the Fourier-analytic and graph-theoretic proofs of Szemeredi's theorem, in addition to the algebraic techniques used recently to tackle the problem for three-term arithmetic progressions in the finite-field setting (the so-calle