Messraum/Messbare Funktion/Subgraph ist messbar/Fakt/Beweis

Beweis

Die Projektion

ist nach Fakt messbar, und ebenso ist

messbar. Nach Fakt und Fakt ist dann auch die Abbildung

messbar. Es ist

und

sodass diese beiden Mengen messbar sind.