即而"A"为当中的球的中心组成的集合。那么formula_1中存在子集formula_5，每个formula_6是可数多个互不相交的球的集合，而且其中formula_8是一个仅依赖于"n"的常数。
证明大概.先假设"A"是有界集合。依次选取球formula_9球formula_9有以下性质对"k" > 1，估算formula_35和多少个之前选择的球formula_9相交。先将这样的formula_9按半径formula_38分成两组：formula_39为第一组，for