的（countably semiadditive）。即，存在常数formula_52使得对紧集formula_53（其中formula_54是博雷尔集），formula_55David与Tolsa的定理合起来能推导出，当K关于formula_24是σ有限的时，Vitushkin猜想为真。可是，对于不是formula_24σ有限的1维的K，这个猜想仍然有待解决。