 Further, let formula_29 be a scalar function on formula_25.Then formula_31 is formula_19-measurable if and only if formula_33 for some measurable function formula_34

Note.The "if" part simply states that the composition of two measurable functions is measurable.