设{En}是[0,1]中可测集列,若m(En)=1,n=1,2…,则可数个En的交的测度为1

让INF {M（G）：G是一个开集,E是包含在G} =燮{M（K）：K是紧集,K是包含在E} =一
可以从以下地址获得已知条件：.
1,存在一个开集列GN中,n = 1,2,...,使得：E包含在GN,和G（N +1）包含在GN,米（GN） A - 1 / N.

定义G0 =所有GN交集. K0 = Kn和所有设置.所以G0,K0可以测量,和m（G0）= M（K0）= A,同时,K0是包含在电子载于G0. ===“
E = K0 +（E-K0）,其中K0衡量,E-K0包含零测集G0-K0,所以它可以衡量的.所以E可测.