Do there exist arbitrarily long arithmetic progressions, each term of which is of the form x2+y2? Because d(NΨ)=0, we cannot appeal to Szemerédi’s theorem, which states that any set A⊆N with ¯¯¯¯d(A)>0 is AP-rich, that is, contains arbitrarily long …