定义
让$\mathcal{C}$成为一个系列。
对于任何$p\geq q美元$，我们这么说$\mathcal{C}$具有美元（p，q）$-财产如果，对于任何美元$在中设置$\mathcal{C}$，人们可以找到q美元$在它们之间相交，即如果有$\mathcal{S}\subseteq\mathcal{C}$具有$|\mathcal｛S｝|=p$存在$\mathcal{F}\subseteq\mathcal{S}$具有$|\mathcal{F}|=q$这样的话$\cap\mathcal{F}\neq\emptyset$.
A类横向的 T美元$属于$\mathcal｛C｝$是与中的每个集合相交的集合$\mathcal{C}$.
结果
阿龙和克莱特曼证明了以下几点，解决了哈德维格和德布朗纳长期以来的猜想。
对于任何$p\geq q>d$，存在一些n美元$这样，任何有限的，有限的凸子集族$\mathbb{R^d}$使用美元（p，q）$-属性具有大小的横向n美元$.
这个可以推广如下所示。
对于任何$p\geq q>d$，存在一些n美元$这样，任何凸子集族$\mathbb{R^d}$使用美元（p，q）$-属性可以划分为n美元$子族，每个子族都具有有限交集属性。
现在，考虑下面的语句，我们将其命名为statement($\匕首$).
对于任何$p\geq q>d$和任何家庭$\mathcal{C}$的凸子集$\mathbb{R^d}$使用美元（p，q）$-属性，存在一些n美元$这样的话$\mathcal{C}$可以划分为n美元$子族，每个子族都具有有限交集属性。
问题
阿隆·克莱特曼定理能从语句中恢复吗($\匕首$)，即是否有一个论点使其成为Statement的必然结果($\匕首$)?
