---
tag: 5JGMD4S34K
kind: statement
role: theorem
name: Multidimensional Szemerédi's Theorem
sources:
  - wikipedia: en:31591175@r1365502461
    locator: Corners theorem, section Multidimensional extension > Multidimensional Szemerédi's Theorem
    note: adopted
    mention: wikipedia://en/31591175#2FYB
    sections: [Statement]
inventory: [6AZA0AP3DD]
---

## Statement

The multidimensional Szemerédi theorem states that for any fixed finite subset $S\subseteq\mathbb{Z}^d$, and for every $\varepsilon>0$, there exists a positive integer $N(S,\varepsilon)$ such that for any $N\ge N(S,\varepsilon)$, any subset $A\subseteq\{1,\ldots,N\}^d$ with size at least $\varepsilon N^d$ contains a subset of the form $a\cdot S+h$. This theorem follows from the multidimensional corners theorem by a simple projection argument. In particular, Roth's theorem on arithmetic progressions follows directly from the ordinary corners theorem.