定理叙述.若formula_1是formula_2中的非退化（半径为正数）闭球族，当中的球的半径有有限上界，即而"A"为当中的球的中心组成的集合。那么formula_1中存在子集formula_5，每个formula_6是可数多个互不相交的球的集合，而且其中formula_8是一个仅依赖于"n"的常数。
证明大概.先假设"A"是有界集合。依次选取球formula_9球formula_9有以下性质对"k" > 1，估算formula_35和多少个