\[\begin{aligned} \int_{X} \int_{Y} C_{Q} dn dm &=\int_{X}\left[\int_{Y} C_{Q}(x, \cdot) dn\right] dm \\ & \leq \int_{X}\left[\int_{Y} C_{Z}(x, \cdot) dn\right] dm=\int_{X \times Y} C_{Z} dp=0. \end{a...∫X∫YCQdndm=∫X[∫YCQ(x,⋅)dn]dm≤∫X[∫YCZ(x,⋅)dn]dm=∫X×YCZdp=0. Sif esP∗ -medible y no negativo, yf=0 en adelante−H, podemos proceder como en el Teorema 2, haciendofk desaparecer todos en−H. Entonces los mapasfk yf son Fubini por lo que se mostró arriba.
