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.