Satz von Bayes
Using Bayes' theorem, we can partition over formula_40: