贝叶斯定理
Let formula_27. We have from Bayes' theorem