Die Projektion
ist nach Fakt messbar, und ebenso ist
messbar. Nach Fakt und Fakt ist dann auch die Abbildung
messbar. Es ist
und
so dass diese beiden Mengen messbar sind.