Endlicher Wahrscheinlichkeitsraum/Produkt/Vollständige Unabhängigkeit/Fakt/Beweis

Beweis

Es sei . Dann ist

wobei

ist, falls ist, und andernfalls

Nach Fakt  (2) ist

was die vollständige Unabhängigkeit bedeutet.