Beweis
(1) folgt direkt aus der Messbarkeit der Inklusionen
-
für jedes
.
(2) folgt aus
Fakt
angewendet auf
-

da
der Subgraph von
und
ist.
(3). Nach
Fakt,
angewendet auf das Produkt
, ist

Da man die Rollen von
und
vertauschen kann, ergibt sich auch die andere Darstellung.