 The "only if" part is proven below.By definition, formula_31 being formula_19-measurable is the same as formula_37 for every Borel set formula_38, which is the same as formula_39.So, the lemma can be rewritten in the following, equivalent form.