Endlicher Wahrscheinlichkeitsraum/Bayessche Formel/Fakt/Beweis/Aufgabe