海莱定理

如果 是一个由多于 个欧几里得 维空间 中的有界闭凸集组成的族，并且如果 中每 个成员（其中 是海莱数）至少有一个公共点，那么 的所有成员都至少有一个公共点。