设非空开集 A ,A 为开集,那么存在一个点 x0 ,使得 x0 有球形邻域 B(x0,r) ,其中 B(x0,r) 包含于 A.则有：m(A) >= m(B(x0,r)) > 0.得证!