ベイズの定理
Let formula_27. We have from Bayes' theorem