Endlicher Wahrscheinlichkeitsraum/Bayessche Formel/Fakt/Name