Die Integrierbarkeit von f {\displaystyle {}f} ist nach Fakt äquivalent zur Integrierbarkeit der Betragsfunktion, was die Endlichkeit von ∫ M × N | f | d ( μ ⊗ ν ) {\displaystyle {}\int _{M\times N}\vert {f}\vert \,d(\mu \otimes \nu )} bedeutet. Die Aussage folgt daher aus Fakt.