Satz von Bayes
Let formula_27. We have from Bayes' theorem