Lemma: Bedingter Erwartungswert entspricht Erwartungswert bei stochastischer Unabhängigkeit

Sei ein Wahrscheinlichkeitsraum.
Sei eine Teil--Algebra.
Sei eine reelle Zufallsvariable mit .

Sind und stochastisch unabhängig, so gilt: