Bayes' theorem
ベイズの定理より、任意の formula_6 について、次の式が成り立つ。