Sei A ein Ereignis und seien B1,B2,…,Bn paarweise disjunkte Ereignisse mit P(B1),P(B2),…,P(Bn)=0 in einem Wahrscheinlichkeitsraum (Ω,A,P). Zeigen Sie folgende Aussage: Hängt P(A∣Bi) nicht von i ab, so gilt
P(A∣Bi)=P(A∣⋃j=1nBj)
für alle i=1,…,n.