ベイズの定理
Using Bayes' theorem, we can partition over formula_40: