定理。欧氏空间的任何一个有半径上限的闭球族中，可以取出几个子集，子集的球互不相交，且覆盖原来闭球族中所有球的中心，而子集的数目上限只取决于空间的维数。
定理叙述.若formula_1是formula_2中的非退化（半径为正数）闭球族，当中的球的半径有有限上界，即而"A"为当中的球的中心组成的集合。那么formula_1中存在子集formula_5，每个formula_6是可数多个互不相交的球的集合，而且其中formula_8是一个仅依赖于"n"的常数。