Bayes' theorem
逆に、formula_10が与えられた場合に、それからformula_9について推論するのには条件付き確率formula_14（事後確率）を用いるが、これは尤度関数であるformula_11あるいはformula_16から、次のベイズの定理によって求められる：