"。函数"f"可测，所以每个集的原像formula_27是可测集。令formula_28，则formula_29将"X"分成两两不交的可测集。由于formula_11是博雷尔正则测度，且formula_31，于是formula_11限制到"X"上是拉东测度。由拉东测度的内正则性，在formula_29中存在紧致子集formula_34，使得所以全部子集formula_36的不交并集的测度因为formula_38，可以取足够大的"N"使得令formula_40。有限个紧致集的并集是紧致集，所以f