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.Comment: 6 page note, to appear in the proceedings of a conference in honour
of the 70th birthday of Endre Szemered