交的可测集。由于formula_11是博雷尔正则测度，且formula_31，于是formula_11限制到"X"上是拉东测度。由拉东测度的内正则性，在formula_29中存在紧致子集formula_34，使得所以全部子集formula_36的不交并集的测度因为formula_38，可以取足够大的"N"使得令formula_40。有限个紧致集的并集是紧致集，所以formula_20紧致。因此formula_20满足要求。对"j"=1..., "N"，在formula_43中任取一点for