Seja $E \subset \mathbb{R}$ com medida exterior de Lebesgue finita e $C$ uma coleção de intervalos que cobrem $E$ no sentido de Vitali (i.e para todo $\epsilon >0 , x \in E$ existe intervalo na coleçnao de tamanho menor do que $\epsilon$ contendo $x$.) então dado $\epsilon > 0$ existem intervalos disjuntos $\{I_1, \cdots , I_N\}$ tais que $$ m^*(E \setminus \bigcup_{n=1}^{N} I_n) \leq \epsilon. $$