Es seien ( M , A , μ ) {\displaystyle {}(M,{\mathcal {A}},\mu )} und ( N , B , ν ) {\displaystyle {}(N,{\mathcal {B}},\nu )} zwei endliche Maßräume und es seien
und
integrierbare Funktionen. Zeige