Bayes' theorem
其中 formula_16 是 formula_12 的domain，这是贝叶斯定理的直接应用。