واضح است که $ E\subset \bigcup_{x\in E}B(x, r_x) $ که $r_x $ همان شعاع متناظر با
$ x $ است که یافت می شود. در اینصورت بنابرقضیه پوششی لیندلف یا لم لیندلف یک زیر پوششی شمارا از $B(x,r_x) $ مانند $ B(x_i,r_{x_i })$ وجود دارید، یعنی $E\subset \bigcup_1^\infty B(x_i, r_{x_i}) $ و چون $ E=\bigcup_1^\infty (B(x_i,r_{x_i})\cap E) $ یعنی $E $ اشتراک شمارایی از زیرمجموعه های اندازه پذیر است. که می دانیم اندازه پذیر می شود.
