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