Corners theorem

Corners theorem: ([math]\displaystyle{ {\Bbb Z}/N{\Bbb Z} }[/math] version) If N is sufficiently large depending on [math]\displaystyle{ \delta }[/math], then any subset A of [math]\displaystyle{ {}[N]^2 }[/math] must contain a "corner" (x,y), (x+r,y), (x,y+r) with [math]\displaystyle{ r \gt 0 }[/math].

Corners theorem: ([math]\displaystyle{ ({\Bbb Z}/3{\Bbb Z})^n }[/math] version) If n is sufficiently large depending on [math]\displaystyle{ \delta }[/math], then any subset A of [math]\displaystyle{ {}(({\Bbb Z}/3{\Bbb Z})^n)^2 }[/math] must contain a "corner" (x,y), (x+r,y), (x,y+r) with [math]\displaystyle{ r \neq 0 }[/math].

This result was first proven by Ajtai and Szemerédi. A simpler proof, based on the triangle removal lemma, was obtained by Solymosi. The corners theorem implies Roth's theorem and is in turn implied by the IP-Szemerédi theorem, which in turn follows from DHJ(3).