can be written as a function of \((\Phi _{S_n(\omega )}(\omega ),\mu )\) . As at (REF )
it can be shown that this function
is in fact measurable. To deal with \(I\)  we shall use
(REF ), Theorem REF  and a standard property of conditional
expectations; see [1]}.
