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