  Using the density-increment strategy of Roth and Gowers, we derive
Szemeredi's theorem on arithmetic progressions from the inverse conjectures
GI(s) for the Gowers norms, recently established by the authors and Ziegler.
